Commit graph

7 commits

Author SHA1 Message Date
Jon Gjengset
0da9d585fb Merge remote-tracking branch 'ci/main' into bump-ci 2023-03-10 21:32:53 -08:00
Jon Gjengset
362696ab80 Move to maintained rust installer
See https://github.com/actions-rs/toolchain/issues/216
2023-03-10 21:16:37 -08:00
Jon Gjengset
e32dec9e92 Merge remote-tracking branch 'ci/main' 2023-01-21 14:14:57 -08:00
Jon Gjengset
ea198cc499 More concise name for scheduled jobs 2022-09-18 13:52:47 -07:00
Jon Gjengset
d91e506e76 Add back local ci modifications 2022-09-18 12:54:53 -07:00
Jon Gjengset
15c1fa2ffc Catch upcoming deprecations 2022-09-18 12:10:58 -07:00
Jon Gjengset
71c2048cc0 mv github .github
This should make it possible to have rust-ci-conf as a remote you merge
from.
2022-09-18 11:44:59 -07:00
Renamed from github/workflows/scheduled.yml (Browse further)