Skip to content

Actions: GaloisInc/cerberus

Actions

CI Benchmarks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-bench.yml
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix edge case in benchmarking CI Benchmarks #27: Commit 02e2b8a pushed by jprider63
September 25, 2024 20:58 6m 9s master
master
September 25, 2024 20:58 6m 9s
Benchmark z3 and cvc5 CI Benchmarks #26: Commit 114870c pushed by jprider63
September 25, 2024 20:18 6m 13s master
master
September 25, 2024 20:18 6m 13s
. CI Benchmarks #25: Commit 969fe77 pushed by jprider63
September 25, 2024 19:57 5m 44s master
master
September 25, 2024 19:57 5m 44s
. CI Benchmarks #24: Commit bae4004 pushed by jprider63
September 25, 2024 19:26 6m 2s master
master
September 25, 2024 19:26 6m 2s
. CI Benchmarks #23: Commit 84c1e0f pushed by jprider63
September 24, 2024 22:00 4m 9s master
master
September 24, 2024 22:00 4m 9s
. CI Benchmarks #22: Commit e6bbd37 pushed by jprider63
September 24, 2024 19:41 4m 26s master
master
September 24, 2024 19:41 4m 26s
. CI Benchmarks #21: Commit bac33c0 pushed by jprider63
September 24, 2024 19:35 3m 59s master
master
September 24, 2024 19:35 3m 59s
. CI Benchmarks #20: Commit 607cf56 pushed by jprider63
September 24, 2024 19:07 4m 32s master
master
September 24, 2024 19:07 4m 32s
. CI Benchmarks #19: Commit 126e89c pushed by jprider63
September 24, 2024 19:06 13s master
master
September 24, 2024 19:06 13s
Benchmark z3 and cvc5 CI Benchmarks #18: Commit 082916d pushed by jprider63
September 24, 2024 14:55 Startup failure master
master
September 24, 2024 14:55 Startup failure
. CI Benchmarks #17: Commit 96840e9 pushed by jprider63
September 19, 2024 19:43 4m 19s master
master
September 19, 2024 19:43 4m 19s
Merge pull request #11 from GaloisInc/test2 CI Benchmarks #16: Commit 677bd81 pushed by jprider63
September 19, 2024 18:08 4m 32s master
master
September 19, 2024 18:08 4m 32s
Merge pull request #10 from GaloisInc/test CI Benchmarks #15: Commit 13bb133 pushed by jprider63
September 19, 2024 16:48 4m 4s master
master
September 19, 2024 16:48 4m 4s
Merge pull request #9 from GaloisInc/test CI Benchmarks #14: Commit 86e7d87 pushed by jprider63
September 19, 2024 15:51 4m 17s master
master
September 19, 2024 15:51 4m 17s
Merge pull request #8 from GaloisInc/feature/ci-benchmarking-totals CI Benchmarks #13: Commit 82ae116 pushed by jprider63
September 18, 2024 20:54 40m 38s master
master
September 18, 2024 20:54 40m 38s
CHERI: fixing last Admit with new lemmas from coq-cheri-capabilies … CI Benchmarks #12: Commit a09536a pushed by jprider63
September 18, 2024 20:53 1m 4s master
master
September 18, 2024 20:53 1m 4s
Merge pull request #7 from GaloisInc/benchmarking CI Benchmarks #11: Commit 0dde34d pushed by jprider63
August 28, 2024 17:47 5m 1s master
master
August 28, 2024 17:47 5m 1s
Merge pull request #6 from GaloisInc/benchmarking CI Benchmarks #10: Commit 4ac053b pushed by jprider63
August 27, 2024 20:39 4m 53s master
master
August 27, 2024 20:39 4m 53s
Add benchmarking CI that generates graphs on updates to master CI Benchmarks #9: Commit 3ea8e72 pushed by jprider63
August 26, 2024 20:48 5m 4s master
master
August 26, 2024 20:48 5m 4s
Merge pull request #4 from GaloisInc/bench CI Benchmarks #8: Commit 93be27a pushed by jprider63
August 22, 2024 21:36 4m 37s master
master
August 22, 2024 21:36 4m 37s
Merge pull request #3 from GaloisInc/benchmarking CI Benchmarks #7: Commit a03b55a pushed by jprider63
August 22, 2024 20:13 4m 52s master
master
August 22, 2024 20:13 4m 52s
Merge pull request #2 from GaloisInc/benchmarking CI Benchmarks #6: Commit 6518edb pushed by jprider63
August 22, 2024 19:04 3m 14s master
master
August 22, 2024 19:04 3m 14s
Merge pull request #1 from GaloisInc/benchmarking CI Benchmarks #5: Commit f54febb pushed by jprider63
August 22, 2024 18:30 3m 24s master
master
August 22, 2024 18:30 3m 24s
TMP: Benchmarking test CI Benchmarks #4: Pull request #1 synchronize by jprider63
August 22, 2024 18:18 2m 57s benchmarking
benchmarking
August 22, 2024 18:18 2m 57s
TMP: Benchmarking test CI Benchmarks #3: Pull request #1 synchronize by jprider63
August 22, 2024 18:12 3m 24s benchmarking
benchmarking
August 22, 2024 18:12 3m 24s