6 commits

Author	SHA1	Message	Date
David Tolnay	621886d7a3	Fix name of CI job	2024-04-14 10:12:12 -07:00
David Tolnay	1c60522fd9	Update actions/checkout@v3 -> v4	2023-09-04 22:34:58 -07:00
David Tolnay	c39c939203	Support a manual trigger on all workflows	2023-02-18 17:17:51 -08:00
David Tolnay	59115418f6	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-24 21:37:30 -08:00
David Tolnay	601f148a1e	GitHub Workflows security hardening	2022-09-02 15:09:29 -07:00
David Tolnay	bbe518a8d1	Add a basic daily CI job	2022-06-26 21:54:00 -07:00