@@ -18,6 +18,7 @@ permissions:
1818env :
1919 REGISTRY : ghcr.io
2020 IMAGE_NAME : ${{ github.repository }}
21+ PROVER_REPRODUCIBLE_BUILD : true
2122
2223jobs :
2324 build-ethrex :
9697 if : ${{ matrix.platform == 'ubuntu-22.04' }}
9798 env :
9899 GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
99- run : |
100- curl -L https://risczero.com/install | bash
101- ~/.risc0/bin/rzup install cargo-risczero 3.0.3
102- ~/.risc0/bin/rzup install risc0-groth16
103- ~/.risc0/bin/rzup install rust
100+ uses : ./.github/actions/install-risc0
101+
104102 - name : Install CUDA (only Linux x86 GPU)
105103 uses : Jimver/cuda-toolkit@v0.2.24
106104 if : ${{ matrix.platform == 'ubuntu-22.04' && matrix.stack == 'l2_gpu' }}
@@ -185,11 +183,7 @@ jobs:
185183 if : ${{ matrix.zkvm == 'risc0' }}
186184 env :
187185 GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
188- run : |
189- curl -L https://risczero.com/install | bash
190- ~/.risc0/bin/rzup install cargo-risczero 3.0.3
191- ~/.risc0/bin/rzup install risc0-groth16
192- ~/.risc0/bin/rzup install rust
186+ uses : ./.github/actions/install-risc0
193187
194188 - name : Build ethrex elf - ${{ matrix.zkvm }}
195189 run : |
@@ -299,6 +293,9 @@ jobs:
299293 - name : Checkout code
300294 uses : actions/checkout@v4
301295
296+ - name : Free Disk Space
297+ uses : ./.github/actions/free-disk
298+
302299 - name : Format name
303300 run : |
304301 # For branch builds (main) we want docker images tagged as 'main'. For tag pushes
0 commit comments