rust/.github/workflows
2022-10-12 17:44:15 +03:00
..
ci.yaml Set opt-level = 1 on dev profile 2022-10-12 17:44:15 +03:00
metrics.yaml try fixing spurious CI failures on windows 2022-07-16 11:42:28 +01:00
publish.yml publish: Use cargo ws rename to rename crates 2022-07-28 16:21:14 +01:00
release.yaml use rustup minimal profile and add curl retries 2022-09-10 23:43:33 -07:00
rustdoc.yaml try fixing spurious CI failures on windows 2022-07-16 11:42:28 +01:00