add jenkins CI files #55

Merged

muellerr merged 2 commits from add-jenkins-ci into main

2023-07-12 14:00:58 +02:00

Author	SHA1	Message	Date
Robin Müller	8eb063704d	Merge branch 'main' into add-jenkins-ci Some checks are pending Rust/sat-rs/pipeline/pr-main Build queued... Details	2023-07-12 14:00:47 +02:00
Robin Mueller	c4cd384f73	add jenkins CI files Some checks failed Rust/sat-rs/pipeline/head There was a failure building this commit Details Rust/sat-rs/pipeline/pr-main Build started... Details	2023-07-11 23:00:12 +02:00