Skip to content

Actions: GaloisInc/cerberus

Actions

CI (CN runtime checks)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-runtime.yml
62 workflow runs
62 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix edge case in benchmarking CI (CN runtime checks) #62: Commit 02e2b8a pushed by jprider63
September 25, 2024 20:58 3m 52s master
master
September 25, 2024 20:58 3m 52s
Benchmark z3 and cvc5 CI (CN runtime checks) #61: Commit 114870c pushed by jprider63
September 25, 2024 20:18 3m 44s master
master
September 25, 2024 20:18 3m 44s
. CI (CN runtime checks) #60: Commit 969fe77 pushed by jprider63
September 25, 2024 19:57 4m 7s master
master
September 25, 2024 19:57 4m 7s
. CI (CN runtime checks) #59: Commit bae4004 pushed by jprider63
September 25, 2024 19:26 4m 11s master
master
September 25, 2024 19:26 4m 11s
Test regression CI (CN runtime checks) #58: Pull request #12 opened by jprider63
September 25, 2024 15:31 3m 45s test_regression
test_regression
September 25, 2024 15:31 3m 45s
Pr benchmarking CI (CN runtime checks) #57: Pull request #5 synchronize by jprider63
September 25, 2024 14:28 4m 9s pr-benchmarking
pr-benchmarking
September 25, 2024 14:28 4m 9s
. CI (CN runtime checks) #56: Commit 84c1e0f pushed by jprider63
September 24, 2024 22:00 3m 49s master
master
September 24, 2024 22:00 3m 49s
. CI (CN runtime checks) #55: Commit e6bbd37 pushed by jprider63
September 24, 2024 19:41 4m 12s master
master
September 24, 2024 19:41 4m 12s
. CI (CN runtime checks) #54: Commit bac33c0 pushed by jprider63
September 24, 2024 19:35 4m 6s master
master
September 24, 2024 19:35 4m 6s
. CI (CN runtime checks) #53: Commit 607cf56 pushed by jprider63
September 24, 2024 19:07 4m 14s master
master
September 24, 2024 19:07 4m 14s
. CI (CN runtime checks) #52: Commit 126e89c pushed by jprider63
September 24, 2024 19:06 1m 54s master
master
September 24, 2024 19:06 1m 54s
Benchmark z3 and cvc5 CI (CN runtime checks) #51: Commit 082916d pushed by jprider63
September 24, 2024 14:55 3m 44s master
master
September 24, 2024 14:55 3m 44s
. CI (CN runtime checks) #50: Commit 96840e9 pushed by jprider63
September 19, 2024 19:43 3m 49s master
master
September 19, 2024 19:43 3m 49s
Merge pull request #11 from GaloisInc/test2 CI (CN runtime checks) #49: Commit 677bd81 pushed by jprider63
September 19, 2024 18:08 4m 21s master
master
September 19, 2024 18:08 4m 21s
Test CI (CN runtime checks) #48: Pull request #11 opened by jprider63
September 19, 2024 18:08 4m 8s test2
test2
September 19, 2024 18:08 4m 8s
Merge pull request #10 from GaloisInc/test CI (CN runtime checks) #47: Commit 13bb133 pushed by jprider63
September 19, 2024 16:48 3m 47s master
master
September 19, 2024 16:48 3m 47s
Test CI (CN runtime checks) #46: Pull request #10 opened by jprider63
September 19, 2024 16:48 3m 47s test
test
September 19, 2024 16:48 3m 47s
Merge pull request #9 from GaloisInc/test CI (CN runtime checks) #45: Commit 86e7d87 pushed by jprider63
September 19, 2024 15:51 4m 5s master
master
September 19, 2024 15:51 4m 5s
Test CI (CN runtime checks) #44: Pull request #9 opened by jprider63
September 19, 2024 15:51 4m 9s test
test
September 19, 2024 15:51 4m 9s
Merge pull request #8 from GaloisInc/feature/ci-benchmarking-totals CI (CN runtime checks) #43: Commit 82ae116 pushed by jprider63
September 18, 2024 20:54 41m 17s master
master
September 18, 2024 20:54 41m 17s
Track total benchmark time in CI CI (CN runtime checks) #42: Pull request #8 opened by jprider63
September 18, 2024 20:53 39m 36s feature/ci-benchmarking-totals
feature/ci-benchmarking-totals
September 18, 2024 20:53 39m 36s
CHERI: fixing last Admit with new lemmas from coq-cheri-capabilies … CI (CN runtime checks) #41: Commit a09536a pushed by jprider63
September 18, 2024 20:53 1m 4s master
master
September 18, 2024 20:53 1m 4s
Pr benchmarking CI (CN runtime checks) #40: Pull request #5 synchronize by jprider63
September 9, 2024 19:51 39m 34s pr-benchmarking
pr-benchmarking
September 9, 2024 19:51 39m 34s
Pr benchmarking CI (CN runtime checks) #39: Pull request #5 synchronize by jprider63
August 29, 2024 17:26 3m 44s pr-benchmarking
pr-benchmarking
August 29, 2024 17:26 3m 44s
Pr benchmarking CI (CN runtime checks) #38: Pull request #5 synchronize by jprider63
August 29, 2024 17:09 3m 34s pr-benchmarking
pr-benchmarking
August 29, 2024 17:09 3m 34s