Skip to content

Commit

Permalink
Update files from v9.0.0-rc.2-fork.13
Browse files Browse the repository at this point in the history
  • Loading branch information
fractasy committed Nov 11, 2024
1 parent d3541dc commit 7705cbd
Show file tree
Hide file tree
Showing 7 changed files with 15,359 additions and 15,354 deletions.
4 changes: 2 additions & 2 deletions .github/workflows/prover_e2e.yml
Original file line number Diff line number Diff line change
Expand Up @@ -28,9 +28,9 @@ jobs:
- name: remove old proofs
run: rm -rf runtime/output/*
- name: list gha config files
run: ls /home/gha/v9.0.0-rc.1-fork.13/config/
run: ls /home/gha/v9.0.0-rc.2-fork.13/config/
- name: link files
run: ln -s /home/gha/v9.0.0-rc.1-fork.13/config/ config
run: ln -s /home/gha/v9.0.0-rc.2-fork.13/config/ config
- name: list local config files
run: ls config
- name: run collection native tests
Expand Down
259 changes: 259 additions & 0 deletions src/config/setup-13.txt

Large diffs are not rendered by default.

4 changes: 2 additions & 2 deletions src/main_sm/fork_13/scripts/metadata-rom_13.txt
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
COMMIT=c48243442cf84bd12aae13ee7f449fcf79154919
SHA256SUM=e4b377636bd950d666329b0a06bcc964be900e321ab03e6e3172b358e8227e34 ./build/rom.json
COMMIT=d81a97e68e5fb475242ee59bb14620d22c20d2c3
SHA256SUM=8240a86801e436314a23de405ab478bd1806706e9b94ee36cde1c566e93e00e9 ./build/rom.json
Loading

0 comments on commit 7705cbd

Please sign in to comment.