7a26acb927
Update actions/checkout@v3 -> v4
2023-09-04 22:35:00 -07:00
e12eda571d
Support a manual trigger on CI workflow
2023-02-18 17:23:55 -08:00
82765d8744
Add coverage of a cargo invocation in CI
2023-01-31 12:41:34 -08:00
6395c05ffc
Test all the toolchain expressions on all platforms
2023-01-31 12:36:27 -08:00
e645b0cf01
Time out workflows after 45 minutes
...
GitHub's default timeout is 6 hours. Recently some of my GitHub Actions
jobs have started randomly stalling for that long, which is inconvenient
because it ties up a chunk of my runner quota. It apepars to be very
rare for a job to recover after stalling. It's better to time out
quicker and retry on a different runner.
2022-11-25 18:56:18 -08:00
b6a0604e19
Make sure the 'ago' syntax specifies 'stable'
2022-09-25 07:56:42 -07:00
dab5f91926
Add toolchain expressions like '18 months ago'
2022-09-25 06:38:21 -07:00
0f2a41247f
GitHub Workflows security hardening
2022-09-02 15:09:30 -07:00
4050d6ccba
Check cache key against expected
2022-07-15 17:00:18 -07:00
7476109106
Add a CI job on rust 1.0.0
2022-07-15 16:56:39 -07:00
e75f9d3869
Delete version output
2022-07-15 11:05:04 -07:00
378ab83624
Add an output intended for cache keys
2022-07-15 10:59:14 -07:00
53c4b468e7
Add a macOS and Windows job to CI matrix
2022-07-15 10:06:35 -07:00
4cbcd90bcf
Add a funding file
2022-06-24 12:05:25 -07:00
10eb3a931f
Disable GitHub Actions run when release branches pushed
2022-06-16 20:32:14 -07:00
b88a2318c2
Only do CI for the miri branch on nightly
2022-06-04 17:21:35 -07:00
47fb9d8bf4
Update CI to actions/checkout@v3
2022-04-24 18:31:38 -07:00
2fe8a8ee69
Test self in CI
2021-12-27 10:30:23 -08:00
David Tolnay