Skip to content

Fix report generation when using local Prover runs - #201

Open
naftali-g wants to merge 1 commit into
masterfrom
naftali/local-prover-runs-fix
Open

Fix report generation when using local Prover runs#201
naftali-g wants to merge 1 commit into
masterfrom
naftali/local-prover-runs-fix

fix report generation when using local Prover runs

3735dec
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar