2 Commits (d39f2b8c3e41e9a0c705e1038228f91d80dfcdeb)

Author SHA1 Message Date
Adriaan de Groot ce6fae900f CI: massage message a bit and adjust naming scheme 4 years ago
Adriaan de Groot d0a65641e2 CI: rename the scheduled, nightly builds again 4 years ago