Closed jpraynaud closed 1 month ago
3 files ±0 43 suites ±0 8m 35s :stopwatch: -1s 1 003 tests ±0 1 003 :white_check_mark: ±0 0 :zzz: ±0 0 :x: ±0 1 101 runs ±0 1 101 :white_check_mark: ±0 0 :zzz: ±0 0 :x: ±0
Results for commit c188939d. ± Comparison against base commit adec3249.
:recycle: This comment has been updated with latest results.
Content
This PR includes a fix to make the Cardano transaction prover able to certify more than
5
transactions.Benchmarks
Pre-submit checklist
Issue(s)
Relates to #1722