13 commits

Author	SHA1	Message	Date
David Tolnay	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
David Tolnay	b6a0604e19	Make sure the 'ago' syntax specifies 'stable'	2022-09-25 07:56:42 -07:00
David Tolnay	dab5f91926	Add toolchain expressions like '18 months ago'	2022-09-25 06:38:21 -07:00
David Tolnay	0f2a41247f	GitHub Workflows security hardening	2022-09-02 15:09:30 -07:00
David Tolnay	4050d6ccba	Check cache key against expected	2022-07-15 17:00:18 -07:00
David Tolnay	7476109106	Add a CI job on rust 1.0.0	2022-07-15 16:56:39 -07:00
David Tolnay	e75f9d3869	Delete version output	2022-07-15 11:05:04 -07:00
David Tolnay	378ab83624	Add an output intended for cache keys	2022-07-15 10:59:14 -07:00
David Tolnay	53c4b468e7	Add a macOS and Windows job to CI matrix	2022-07-15 10:06:35 -07:00
David Tolnay	10eb3a931f	Disable GitHub Actions run when release branches pushed	2022-06-16 20:32:14 -07:00
David Tolnay	b88a2318c2	Only do CI for the miri branch on nightly	2022-06-04 17:21:35 -07:00
David Tolnay	47fb9d8bf4	Update CI to actions/checkout@v3	2022-04-24 18:31:38 -07:00
David Tolnay	2fe8a8ee69	Test self in CI	2021-12-27 10:30:23 -08:00