Rémy Rakic 5203b7e10d Set rustup profile to minimal (#1516)		2024-07-14 16:59:06 +02:00
..
actions/github-release	Fix showing error details in the dev release action	2024-04-07 17:31:26 +00:00
workflows	Set rustup profile to minimal (#1516)	2024-07-14 16:59:06 +02:00