WIP: add contrib/jenkins.sh script and Dockerfile #2

Draft
osmith wants to merge 2 commits from osmith/201705 into 201705

2 Commits

Author SHA1 Message Date
Oliver Smith 861db3cfa8 contrib/jenkins: add script to build in docker
Related: SYS#6356
2023-05-15 16:08:29 +02:00
Oliver Smith df979a37b5 gitignore: add 98_nightly_feed 2023-05-15 14:13:37 +02:00