playmusicexporter/playmusicexporter
1
0
Fork 0
mirror of https://github.com/playmusicexporter/playmusicexporter synced 2024-05-15 09:46:42 +00:00
Code Issues Releases Wiki Activity

Removed docker agent

Browse source
This commit is contained in:
Jan Christian Grünhage 2017-04-22 17:35:58 +02:00
parent 2331b0c593
commit 002a00a572
Signed by: jcgruenhage
GPG key ID: 321A67D9EE8BC3E1
1 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Jenkinsfile vendored
View file

@ -1,7 +1,5 @@
pipeline {
agent {
docker 'gradle'
}
agent any
stages {
stage('Build') {