Skip to content

Actions: microsoft/CCF

Actions

Bencher: Run Benchmarks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bencher.yml
251 workflow runs
251 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Bump @types/chai from 4.3.20 to 5.0.0 in /js/ccf-app (#6514) Bencher: Run Benchmarks #243: Commit 0182242 pushed by github-merge-queue bot
October 1, 2024 07:58 12m 48s main
main
October 1, 2024 07:58 12m 48s
Split Verification Jobs (#6512) Bencher: Run Benchmarks #242: Commit a032ae0 pushed by github-merge-queue bot
September 30, 2024 12:03 13m 30s main
main
September 30, 2024 12:03 13m 30s
Minimize number of TLC configuration files. (#6511) Bencher: Run Benchmarks #241: Commit 2069c68 pushed by achamayou
September 30, 2024 08:35 12m 48s main
main
September 30, 2024 08:35 12m 48s
Nuke obsolete QUIC doc page (#6506) Bencher: Run Benchmarks #240: Commit 728a5bd pushed by github-merge-queue bot
September 27, 2024 14:19 12m 47s main
main
September 27, 2024 14:19 12m 47s
Refactor abstract consensus specification (#6475) Bencher: Run Benchmarks #239: Commit 6fb0b5f pushed by lemmy
September 27, 2024 00:50 13m 31s main
main
September 27, 2024 00:50 13m 31s
Add 2-Node consensus MC (#6504) Bencher: Run Benchmarks #238: Commit f798800 pushed by achamayou
September 26, 2024 20:47 12m 49s main
main
September 26, 2024 20:47 12m 49s
Revert https://github.com/microsoft/CCF/pull/5939 (#6501) Bencher: Run Benchmarks #237: Commit 5e615a9 pushed by achamayou
September 26, 2024 12:00 13m 53s main
main
September 26, 2024 12:00 13m 53s
Add long LTS to long tests (#6497) Bencher: Run Benchmarks #236: Commit e213df0 pushed by achamayou
September 24, 2024 11:01 12m 58s main
main
September 24, 2024 11:01 12m 58s
Only the KV-defined set of UVM roots of trust should be used to accep… Bencher: Run Benchmarks #235: Commit 4b16707 pushed by github-merge-queue bot
September 23, 2024 19:35 17m 12s main
main
September 23, 2024 19:35 17m 12s
upload-artifact Github action fails because of non-unique artifact … Bencher: Run Benchmarks #234: Commit 3fb252b pushed by github-merge-queue bot
September 23, 2024 07:48 12m 51s main
main
September 23, 2024 07:48 12m 51s
Remove SGX target from release job(s) (#6492) Bencher: Run Benchmarks #233: Commit 1fb9dc4 pushed by achamayou
September 20, 2024 14:50 11m 42s main
main
September 20, 2024 14:50 11m 42s
Update CONTRIBUTING.md with current workflows (#6488) Bencher: Run Benchmarks #232: Commit b39fa24 pushed by github-merge-queue bot
September 20, 2024 14:08 12m 44s main
main
September 20, 2024 14:08 12m 44s
Enable 6.x releases (#6491) Bencher: Run Benchmarks #231: Commit 3cf06af pushed by achamayou
September 20, 2024 13:36 12m 59s main
main
September 20, 2024 13:36 12m 59s
COSE receipts: CPP API (#6480) Bencher: Run Benchmarks #230: Commit 187d469 pushed by github-merge-queue bot
September 19, 2024 16:17 13m 2s main
main
September 19, 2024 16:17 13m 2s
Add Missing changelog entries for #6462 and #6449 (#6487) Bencher: Run Benchmarks #229: Commit ece75e4 pushed by github-merge-queue bot
September 19, 2024 15:07 12m 20s main
main
September 19, 2024 15:07 12m 20s
Make collateral fetching retries configurable, and shut down when the… Bencher: Run Benchmarks #228: Commit 5661eef pushed by github-merge-queue bot
September 17, 2024 12:58 11m 58s main
main
September 17, 2024 12:58 11m 58s
Update setuptools requirement from ==74.* to >=74,<76 in /python (#6483) Bencher: Run Benchmarks #227: Commit 36f11f9 pushed by github-merge-queue bot
September 17, 2024 09:46 11m 59s main
main
September 17, 2024 09:46 11m 59s