11 commits

Author	SHA1	Message	Date
David Tolnay	d4065a3937	Support a manual trigger on CI workflow	2023-02-18 17:23:57 -08:00
David Tolnay	6f0e194e2f	Prevent actions duplication on noop merge commits	2023-02-01 17:55:25 -08:00
David Tolnay	45cedc45ed	Speed up cargo fuzz CI job ... https://github.com/rust-fuzz/cargo-fuzz/pull/317	2023-01-19 17:28:31 -08:00
David Tolnay	7b324012c6	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:19 -08:00
David Tolnay	97bc12eaa1	GitHub Workflows security hardening	2022-09-02 15:09:32 -07:00
David Tolnay	c69e847a68	Add CI build to cover fuzz target	2022-07-08 12:54:46 -07:00
David Tolnay	5b48860450	Detect warnings in CI	2022-07-08 12:54:46 -07:00
David Tolnay	5e5bed5d21	Add actions job to notice outdated dependencies	2022-07-08 12:54:46 -07:00
David Tolnay	2c9d723706	Add a miri test job in CI	2022-07-08 12:54:46 -07:00
David Tolnay	9741a6dd27	Run clippy in CI	2022-07-08 12:54:46 -07:00
David Tolnay	d984aed5af	Set up GitHub Actions	2022-07-08 12:54:46 -07:00