use Jenkins for CI

No description
2026-01-03 21:49:07 +01:00 · 2019-11-02 11:32:49 +01:00 · 2026-01-03 20:46:56 +01:00 · 2026-01-03 21:49:07 +01:00 · 2026-01-03 20:46:56 +01:00
diff --git a/Sebastian Hugentobler b/Sebastian Hugentobler
Sebastian Hugentobler 9ff662e04f use Jenkins for CI		2026-01-03 21:49:07 +01:00
.gitignore	initial commit	2019-11-02 11:32:49 +01:00
Containerfile	externalise config & push to 2.5.309	2026-01-03 20:46:56 +01:00
Jenkinsfile	use Jenkins for CI	2026-01-03 21:49:07 +01:00
README.md	externalise config & push to 2.5.309	2026-01-03 20:46:56 +01:00