bjorn3 fae8935e3d Avoid installing rustc-dev in the rustfmt CI job		2023-07-13 11:39:04 +00:00
..
actions/github-release	Recreate the release every time	2023-03-25 16:24:15 +00:00
workflows	Avoid installing rustc-dev in the rustfmt CI job	2023-07-13 11:39:04 +00:00