add jenkins CI files #55

Merged
muellerr merged 2 commits from add-jenkins-ci into main 2023-07-12 14:00:58 +02:00

2 Commits

Author SHA1 Message Date
muellerr 8eb063704d Merge branch 'main' into add-jenkins-ci
Rust/sat-rs/pipeline/pr-main Build queued...
2023-07-12 14:00:47 +02:00
muellerr c4cd384f73 add jenkins CI files
Rust/sat-rs/pipeline/head There was a failure building this commit
Rust/sat-rs/pipeline/pr-main Build started...
2023-07-11 23:00:12 +02:00