Skip to content

Actions: microsoft/CCF

Actions

Bencher: Run Benchmarks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bencher.yml
268 workflow runs
268 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Release notes for 6.0.0-dev1 (#6542) Bencher: Run Benchmarks #268: Commit c70e2be pushed by achamayou
October 8, 2024 13:04 13m 55s main
main
October 8, 2024 13:04 13m 55s
Correct and enforce schema on CBOR proofs (#6520) Bencher: Run Benchmarks #267: Commit 0b466fd pushed by github-merge-queue bot
October 8, 2024 12:52 14m 56s main
main
October 8, 2024 12:52 14m 56s
Allow manual trigger of long test on branches (#6541) Bencher: Run Benchmarks #266: Commit 8428954 pushed by github-merge-queue bot
October 8, 2024 12:46 13m 32s main
main
October 8, 2024 12:46 13m 32s
Allow manual runs of long verification (#6536) Bencher: Run Benchmarks #265: Commit 521f80a pushed by achamayou
October 8, 2024 10:33 14m 22s main
main
October 8, 2024 10:33 14m 22s
Upgrade to build-08-10-2024 (#6540) Bencher: Run Benchmarks #264: Commit 0bcb487 pushed by achamayou
October 8, 2024 10:31 16m 16s main
main
October 8, 2024 10:31 16m 16s
Global gem install (#6539) Bencher: Run Benchmarks #263: Commit 8398a6b pushed by achamayou
October 8, 2024 08:42 13m 40s main
main
October 8, 2024 08:42 13m 40s
Update CI image to build-07-10-2024-2 (#6534) Bencher: Run Benchmarks #262: Commit 2e43bf4 pushed by achamayou
October 7, 2024 22:09 15m 53s main
main
October 7, 2024 22:09 15m 53s
Limiting the terms reached by ProposeVote (#6535) Bencher: Run Benchmarks #261: Commit 9e7fb2d pushed by github-merge-queue bot
October 7, 2024 21:37 13m 32s main
main
October 7, 2024 21:37 13m 32s
Shorten MC run in CI verification to fit in CI timescale (#6531) Bencher: Run Benchmarks #260: Commit 261602d pushed by github-merge-queue bot
October 7, 2024 19:55 15m 20s main
main
October 7, 2024 19:55 15m 20s
Remove redefinitions of Terms in refinement mapping. (#6533) Bencher: Run Benchmarks #259: Commit 2d4f690 pushed by github-merge-queue bot
October 7, 2024 15:41 13m 28s main
main
October 7, 2024 15:41 13m 28s
Update devcontainer.json to enable cdot by default (#6530) Bencher: Run Benchmarks #258: Commit 874c3d4 pushed by achamayou
October 7, 2024 12:00 15m 43s main
main
October 7, 2024 12:00 15m 43s
Upgrade CI image from 25-07-2024 to 07-10-2024 (#6528) Bencher: Run Benchmarks #257: Commit afd37ec pushed by achamayou
October 7, 2024 11:59 14m 45s main
main
October 7, 2024 11:59 14m 45s
Remove SGX base image building (#6525) Bencher: Run Benchmarks #256: Commit 81943ea pushed by achamayou
October 4, 2024 14:02 14m 7s main
main
October 4, 2024 14:02 14m 7s
Finding the right package for ruby gem/gems (#6524) Bencher: Run Benchmarks #255: Commit d00e762 pushed by achamayou
October 4, 2024 13:16 13m 4s main
main
October 4, 2024 13:16 13m 4s
Fix gem install (#6523) Bencher: Run Benchmarks #254: Commit ff514ce pushed by achamayou
October 4, 2024 13:01 13m 17s main
main
October 4, 2024 13:01 13m 17s
Install gem in dev image (#6522) Bencher: Run Benchmarks #253: Commit 62499b2 pushed by achamayou
October 4, 2024 12:47 17m 58s main
main
October 4, 2024 12:47 17m 58s
Install cddl gem in dev image (#6521) Bencher: Run Benchmarks #252: Commit 6c380e2 pushed by github-merge-queue bot
October 4, 2024 12:14 13m 24s main
main
October 4, 2024 12:14 13m 24s
Remove StatsFile.tla (#6519) Bencher: Run Benchmarks #251: Commit c71b7ce pushed by github-merge-queue bot
October 3, 2024 09:58 12m 52s main
main
October 3, 2024 09:58 12m 52s
End to end test for CBOR proof (#6499) Bencher: Run Benchmarks #250: Commit fa850a6 pushed by github-merge-queue bot
October 2, 2024 20:42 13m 42s main
main
October 2, 2024 20:42 13m 42s
Remove writing state-space statistics after the demise of cimetrics. … Bencher: Run Benchmarks #249: Commit e0a9ea3 pushed by github-merge-queue bot
October 2, 2024 17:28 14m 23s main
main
October 2, 2024 17:28 14m 23s
Check refinement of high-level spec abs with all models (#6509) Bencher: Run Benchmarks #248: Commit 76b2dcf pushed by github-merge-queue bot
October 2, 2024 15:53 12m 50s main
main
October 2, 2024 15:53 12m 50s
Assert (postcondition) that all "debug invariants" equal true in at l… Bencher: Run Benchmarks #247: Commit 0ab6408 pushed by github-merge-queue bot
October 2, 2024 13:56 13m 20s main
main
October 2, 2024 13:56 13m 20s
Iteration on TLC wrapper script (#6513) Bencher: Run Benchmarks #246: Commit 50ffc62 pushed by github-merge-queue bot
October 2, 2024 11:43 13m 30s main
main
October 2, 2024 11:43 13m 30s
Fix historical TX requests for previous epochs during recovery (#6507) Bencher: Run Benchmarks #245: Commit e6f00b7 pushed by github-merge-queue bot
October 2, 2024 09:26 13m 42s main
main
October 2, 2024 09:26 13m 42s
Format Python under tla/ (#6515) Bencher: Run Benchmarks #244: Commit df6d004 pushed by achamayou
October 1, 2024 14:39 13m 39s main
main
October 1, 2024 14:39 13m 39s