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

Merge branch 'master' into assignment4

Browse Source
This commit is contained in:
Philippe Zwietering
2024-04-23 11:42:53 +02:00
parent a439b45d2c ffca46746b
commit f31117d87e
1 changed files with 10 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
Jenkinsfile vendored
View File

@@ -1,5 +1,5 @@
pipeline { pipeline {
agent linux { agent {label 'linux'}
stages { stages {
stage('Build') { stage('Build') {
steps { steps {
@@ -11,6 +11,7 @@ pipeline {
// 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') {
steps{
echo 'Starting deploy step...' echo 'Starting deploy step...'
} }
} }