Oliver Klee 091e00e478 [FEATURE] Also run the CI build once a week (#160) ... This will allow us to catch problems with dependencies or the build environment, i.e., problems that are not related to changes in our code base.		2020-11-21 17:58:35 +01:00
..
workflows	[FEATURE] Also run the CI build once a week (#160)	2020-11-21 17:58:35 +01:00