flip/real_analysis
1
0
Fork 0
Code Issues 3 Pull Requests Packages Projects 1 Releases Wiki Activity

Agent is a directive, doesn't have curly braces...

Browse Source
This commit is contained in:
Philippe Zwietering
2024-04-22 17:02:08 +02:00
parent 929978fa87
commit d1f3983799
1 changed files with 10 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

21
Jenkinsfile vendored
View File

@@ -1,18 +1,17 @@
pipeline { pipeline {
agent {linux} { agent {linux}
stages { stages {
stage('Build') { stage('Build') {
steps { steps {
echo 'Starting build step...' echo 'Starting build step...'
sh './scripts/build.sh' sh './scripts/build.sh'
}
} }
}
// Testing latex isn't really a thing, but we could do basic sanity checks in the future? // Testing latex isn't really a thing, but we could do basic sanity checks in the future?
stage('Deploy') { stage('Deploy') {
echo 'Starting deploy step...' echo 'Starting deploy step...'
}
} }
} }
} }