Jon Gjengset
|
5ea59356dc
|
Remove -Zmiri-tag-raw-pointers as it's now default
|
2023-03-12 09:40:09 -07:00 |
|
Jon Gjengset
|
a076ec1cb4
|
Minimal token permissions
See https://github.com/tokio-rs/tokio/pull/5072
|
2023-03-11 15:08:47 -08:00 |
|
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 |
|