6 Commits

Author	SHA1	Message	Date
José Rebelo	418e0b7d43	Allow nightly builds to be triggered manually	2023-09-07 13:00:07 +01:00
vanous	4e07852891	CI filter: skip released nightly quietly	2023-08-12 15:35:25 +02:00
vanous	f86cd39385	Add CI filter to skip nightly if already released ... This will cause the CI to produce a Failure if already released, but it can prevent many unnecesary CI runs, which is prefferable. We can remove this filter if the Failure is confussing.	2023-08-12 14:22:27 +02:00
vanous	b8c3622449	CI: make sure clone is not partial	2023-08-11 19:12:01 +02:00
vanous	2ca23aed0b	Adjust CI for nightly builds	2023-08-11 18:36:23 +02:00
vanous	2b326b74b8	Add nightly setup directly to master	2023-08-11 17:59:01 +02:00