Skip to content

Commit 550b05c

Browse files
committed
bind release to proof scripts
1 parent bb06b66 commit 550b05c

1 file changed

Lines changed: 4 additions & 0 deletions

File tree

scripts/release.sh

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -14,6 +14,10 @@ make clean test
1414
make clean sanitize
1515
make
1616

17+
sh scripts/verify_render_truth.sh
18+
sh scripts/golden.sh
19+
sh scripts/dgb_parity.sh
20+
1721
./build/deadgl prove examples/command_machine.dgl -o "$dist/command_machine.ppm" -p "$dist/command_machine.proof"
1822
./build/deadgl prove examples/near_clip.dgl -o "$dist/near_clip.ppm" -p "$dist/near_clip.proof"
1923
./build/deadgl inspect examples/near_clip.dgl > "$dist/near_clip.main.inspect"

0 commit comments

Comments
 (0)