Skip to content

Actions: GaloisInc/cerberus

Actions

Cerberus

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
65 workflow runs
65 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[CN-Test-Gen] More test case sizing strategies (#871) Cerberus #65: Commit ba4a383 pushed by podhrmic
February 14, 2025 18:03 6m 26s master
master
February 14, 2025 18:03 6m 26s
[CN-Test-Gen] Allocator cleanup and fixes Cerberus #64: Commit c935516 pushed by podhrmic
February 7, 2025 00:26 2m 20s master
master
February 7, 2025 00:26 2m 20s
[CN-Test-Gen] Add TESTING.md Cerberus #63: Commit d7d4e67 pushed by podhrmic
January 31, 2025 20:58 30m 36s master
master
January 31, 2025 20:58 30m 36s
Fix edge case in benchmarking Cerberus #62: Commit 02e2b8a pushed by jprider63
September 25, 2024 20:58 16m 45s master
master
September 25, 2024 20:58 16m 45s
Benchmark z3 and cvc5 Cerberus #61: Commit 114870c pushed by jprider63
September 25, 2024 20:18 16m 58s master
master
September 25, 2024 20:18 16m 58s
. Cerberus #60: Commit 969fe77 pushed by jprider63
September 25, 2024 19:57 15m 28s master
master
September 25, 2024 19:57 15m 28s
. Cerberus #59: Commit bae4004 pushed by jprider63
September 25, 2024 19:26 15m 41s master
master
September 25, 2024 19:26 15m 41s
Test regression Cerberus #58: Pull request #12 opened by jprider63
September 25, 2024 15:31 17m 39s test_regression
test_regression
September 25, 2024 15:31 17m 39s
Pr benchmarking Cerberus #57: Pull request #5 synchronize by jprider63
September 25, 2024 14:28 15m 31s pr-benchmarking
pr-benchmarking
September 25, 2024 14:28 15m 31s
. Cerberus #56: Commit 84c1e0f pushed by jprider63
September 24, 2024 22:00 15m 11s master
master
September 24, 2024 22:00 15m 11s
. Cerberus #55: Commit e6bbd37 pushed by jprider63
September 24, 2024 19:41 15m 53s master
master
September 24, 2024 19:41 15m 53s
. Cerberus #54: Commit bac33c0 pushed by jprider63
September 24, 2024 19:35 6m 26s master
master
September 24, 2024 19:35 6m 26s
. Cerberus #53: Commit 607cf56 pushed by jprider63
September 24, 2024 19:07 15m 33s master
master
September 24, 2024 19:07 15m 33s
. Cerberus #52: Commit 126e89c pushed by jprider63
September 24, 2024 19:06 1m 58s master
master
September 24, 2024 19:06 1m 58s
Benchmark z3 and cvc5 Cerberus #51: Commit 082916d pushed by jprider63
September 24, 2024 14:55 15m 26s master
master
September 24, 2024 14:55 15m 26s
. Cerberus #50: Commit 96840e9 pushed by jprider63
September 19, 2024 19:43 15m 22s master
master
September 19, 2024 19:43 15m 22s
Merge pull request #11 from GaloisInc/test2 Cerberus #49: Commit 677bd81 pushed by jprider63
September 19, 2024 18:08 15m 41s master
master
September 19, 2024 18:08 15m 41s
Test Cerberus #48: Pull request #11 opened by jprider63
September 19, 2024 18:08 15m 6s test2
test2
September 19, 2024 18:08 15m 6s
Merge pull request #10 from GaloisInc/test Cerberus #47: Commit 13bb133 pushed by jprider63
September 19, 2024 16:48 16m 3s master
master
September 19, 2024 16:48 16m 3s
Test Cerberus #46: Pull request #10 opened by jprider63
September 19, 2024 16:48 14m 53s test
test
September 19, 2024 16:48 14m 53s
Merge pull request #9 from GaloisInc/test Cerberus #45: Commit 86e7d87 pushed by jprider63
September 19, 2024 15:51 15m 6s master
master
September 19, 2024 15:51 15m 6s
Test Cerberus #44: Pull request #9 opened by jprider63
September 19, 2024 15:51 15m 15s test
test
September 19, 2024 15:51 15m 15s
Merge pull request #8 from GaloisInc/feature/ci-benchmarking-totals Cerberus #43: Commit 82ae116 pushed by jprider63
September 18, 2024 20:54 53m 11s master
master
September 18, 2024 20:54 53m 11s
Track total benchmark time in CI Cerberus #42: Pull request #8 opened by jprider63
September 18, 2024 20:53 51m 33s feature/ci-benchmarking-totals
feature/ci-benchmarking-totals
September 18, 2024 20:53 51m 33s
CHERI: fixing last Admit with new lemmas from coq-cheri-capabilies … Cerberus #41: Commit a09536a pushed by jprider63
September 18, 2024 20:53 1m 3s master
master
September 18, 2024 20:53 1m 3s