Skip to content

Actions: rems-project/cerberus

Actions

CN Benchmarks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-cn-bench.yml
62 workflow runs
62 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[CN-Test-Gen] Enum hints for --with-static-hack (#812) CN Benchmarks #62: Commit 6316f8f pushed by ZippeyKeys12
January 3, 2025 06:22 9m 17s master
master
January 3, 2025 06:22 9m 17s
[CN-Test-Gen] Expose static hack via CLI flag (#808) CN Benchmarks #61: Commit 6d4b486 pushed by ZippeyKeys12
January 2, 2025 21:35 7m 55s master
master
January 2, 2025 21:35 7m 55s
[CN-Test-Gen] Organize top-level test generation (#806) CN Benchmarks #60: Commit 6fc4ec4 pushed by ZippeyKeys12
January 2, 2025 08:01 8m 20s master
master
January 2, 2025 08:01 8m 20s
[CN-Test-Gen] Fix #802 CN Benchmarks #59: Commit c601ccf pushed by ZippeyKeys12
December 30, 2024 21:32 8m 7s master
master
December 30, 2024 21:32 8m 7s
CN: Factor out WellTyped error messages CN Benchmarks #58: Commit 3fea76a pushed by dc-mak
December 30, 2024 02:05 8m 5s master
master
December 30, 2024 02:05 8m 5s
CN: Re-add label consistency check CN Benchmarks #57: Commit 0bb93bf pushed by dc-mak
December 29, 2024 12:41 7m 55s master
master
December 29, 2024 12:41 7m 55s
CN: Separate well-typed and consistency checks CN Benchmarks #56: Commit 2ac0695 pushed by dc-mak
December 27, 2024 21:39 7m 49s master
master
December 27, 2024 21:39 7m 49s
CN: Rename Resultat to Or_TypeError CN Benchmarks #55: Commit 140db7a pushed by dc-mak
December 26, 2024 17:38 8m 44s master
master
December 26, 2024 17:38 8m 44s
CN: Add TypeError interface file CN Benchmarks #54: Commit c90405f pushed by dc-mak
December 26, 2024 15:03 8m 31s master
master
December 26, 2024 15:03 8m 31s
CN: Add Context interface file CN Benchmarks #53: Commit 74d48c6 pushed by dc-mak
December 26, 2024 14:34 9m 17s master
master
December 26, 2024 14:34 9m 17s
CN: Reduce opens in explain.ml CN Benchmarks #52: Commit 170e68b pushed by dc-mak
December 26, 2024 14:09 8m 38s master
master
December 26, 2024 14:09 8m 38s
CN: Use __LOC__ instead of __FUNCTION__ CN Benchmarks #51: Commit defd6eb pushed by dc-mak
December 26, 2024 13:49 8m 41s master
master
December 26, 2024 13:49 8m 41s
CN: Tidy up Id and LogicalCosntraints module CN Benchmarks #50: Commit 7797537 pushed by dc-mak
December 26, 2024 13:29 9m 8s master
master
December 26, 2024 13:29 9m 8s
CN: Assert max tuple size CN Benchmarks #49: Commit 0ab06e0 pushed by dc-mak
December 23, 2024 09:30 8m 45s master
master
December 23, 2024 09:30 8m 45s
[CN] Fix formatting break from #782 CN Benchmarks #48: Commit 8a46609 pushed by ZippeyKeys12
December 23, 2024 05:23 8m 36s master
master
December 23, 2024 05:23 8m 36s
increase maximum CN tuple arity, as needed by pgtable (#782) CN Benchmarks #47: Commit 695380a pushed by cp526
December 21, 2024 21:02 8m 39s master
master
December 21, 2024 21:02 8m 39s
Fix #779: Mark offset off as an integer constant CN Benchmarks #46: Commit d80d846 pushed by dc-mak
December 20, 2024 19:32 8m 59s master
master
December 20, 2024 19:32 8m 59s
CN: Error on unused modules CN Benchmarks #45: Commit 0766055 pushed by dc-mak
December 20, 2024 18:19 9m 16s master
master
December 20, 2024 18:19 9m 16s
Fix diff-prog CN Benchmarks #44: Commit 1ce88c1 pushed by dc-mak
December 20, 2024 17:04 8m 56s master
master
December 20, 2024 17:04 8m 56s
[CN-Exec] Give more info for Predicate not found (#775) CN Benchmarks #43: Commit 6791a6c pushed by ZippeyKeys12
December 19, 2024 22:41 8m 29s master
master
December 19, 2024 22:41 8m 29s
[CN-Exec] Extract and use CN-Test-Gen bounds analysis (#773) CN Benchmarks #42: Commit 40a2585 pushed by ZippeyKeys12
December 19, 2024 22:40 8m 48s master
master
December 19, 2024 22:40 8m 48s
[CN-Exec] Error names which function is uninterpreted (#772) CN Benchmarks #41: Commit cc888bf pushed by ZippeyKeys12
December 19, 2024 21:29 8m 50s master
master
December 19, 2024 21:29 8m 50s
Rename diff-prog args to opts CN Benchmarks #40: Commit 2ee75d6 pushed by dc-mak
December 17, 2024 13:18 9m 5s master
master
December 17, 2024 13:18 9m 5s
CN VIP: optimise shifts CN Benchmarks #39: Commit b5f552e pushed by dc-mak
December 16, 2024 18:19 8m 41s master
master
December 16, 2024 18:19 8m 41s
CN: Reduce warnings for experimental tokens CN Benchmarks #38: Commit 940e91f pushed by dc-mak
December 12, 2024 15:14 11m 2s master
master
December 12, 2024 15:14 11m 2s