5 commits

Author	SHA1	Message	Date
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)