.github/workflows/ci.yml: minimize compilation times.

This is achieved by masking 'criterion' dev-dependency. It's used only in benchmarking code, which we don't exercise here.
supranational · Oct 29, 2023 · a0b29e4 · a0b29e4
1 parent 4ed819a
commit a0b29e4
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -48,6 +48,8 @@ jobs:
         rustc --version --verbose
         export CARGO_REGISTRIES_CRATES_IO_PROTOCOL=sparse
         cd bindings/rust
+        sed "s/^crit/#crit/" Cargo.toml > Cargo.$$.toml && \
+        mv Cargo.$$.toml Cargo.toml
         if [ "$GITHUB_EVENT_NAME" != "pull_request" ]; then
             cargo update
         fi