fix: undo prove feature

- install external prover
2026-08-27 09:51:11 +00:00 · 2026-07-06 15:24:30 +02:00
parent e19b1b73bd
commit 42f683ef29
6 changed files with 80 additions and 756 deletions
@@ -136,6 +136,11 @@ jobs:
          cargo install cargo-fuzz --locked
          cargo install cargo-mutants --locked

+      # The corpus oracle runs the fuzz targets, which execute guest programs via
+      # risc0's ExternalProver — that needs the r0vm binary.
+      - name: Install r0vm
+        uses: ./.github/actions/install-r0vm
+
      - name: Make corpus-regression wrapper executable
        run: chmod +x scripts/mutants-corpus-test.sh