Merge branch 'main' into speedup-tests

Author: FrancoGiachetta

.github/workflows/ci.yml

@@ -180,10 +180,6 @@ jobs:
       - name: Rust `$PATH` workaround.
         run: echo "$HOME/.cargo/bin" >> $GITHUB_PATH
       - uses: Homebrew/actions/setup-homebrew@master
-      - name: Install scarb
-        uses: software-mansion/setup-scarb@v1
-        with:
-          scarb-version: "2.11.2"
       - name: Install deps
         run: make deps
       - name: Run tests
@@ -248,10 +244,6 @@ jobs:
         uses: taiki-e/install-action@v2
         with:
           tool: cargo-nextest,cargo-llvm-cov
-      - name: Install scarb
-        uses: software-mansion/setup-scarb@v1
-        with:
-          scarb-version: "2.11.2"
       - name: Install deps
         run: make deps
       - name: Build alexandria