Commit graph

3 commits

Author SHA1 Message Date
Jon Gjengset
9afb0e111a Get rid of most actions-rs bits
Given that that project is unmaintained.

https://github.com/actions-rs/toolchain/issues/216
2023-03-11 15:07:41 -08:00
Jon Gjengset
362696ab80 Move to maintained rust installer
See https://github.com/actions-rs/toolchain/issues/216
2023-03-10 21:16:37 -08:00
Jon Gjengset
56d4398a24 Merge safety workflows 2022-09-18 11:52:12 -07:00