2 Commits (8a413866a1c8c77bc2f737dd1e06e4b6c4cd75cc)

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