test jenkins #28

Merged
willemjan merged 1 commits from dev into main 2026-08-10 21:20:28 +00:00
Showing only changes of commit e08f269855 - Show all commits
Vendored
+11
View File
@@ -0,0 +1,11 @@
pipeline {
agent any
stages {
stage('Do nothing') {
steps {
sh '/bin/true'
}
}
}
}