Skip to content

Actions: celinval/kani-dev

Actions

Kani Performance Benchmarks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bench.yml
45 workflow runs
45 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use assume instead of mod Kani Performance Benchmarks #36: Commit 19e1ff9 pushed by celinval
October 12, 2023 23:04 1h 28m 36s main
main
October 12, 2023 23:04 1h 28m 36s
Fix panic warning and add arbitrary Duration Kani Performance Benchmarks #35: Commit 4b13dde pushed by celinval
October 12, 2023 21:18 1h 25m 12s main
main
October 12, 2023 21:18 1h 25m 12s
Automatic toolchain upgrade to nightly-2023-10-10 (#2816) Kani Performance Benchmarks #34: Commit 2056bb5 pushed by celinval
October 11, 2023 17:44 1h 42m 57s main
main
October 11, 2023 17:44 1h 42m 57s
Fix labeler workflow Kani Performance Benchmarks #33: Commit fdb1e9f pushed by celinval
October 5, 2023 23:42 1m 25s main
main
October 5, 2023 23:42 1m 25s
Fix labeler workflow Kani Performance Benchmarks #32: Commit fb34df8 pushed by celinval
October 5, 2023 23:34 30s main
main
October 5, 2023 23:34 30s
Fix labeler workflow Kani Performance Benchmarks #31: Commit 64850f9 pushed by celinval
October 5, 2023 23:17 36s main
main
October 5, 2023 23:17 36s
Fix labeler workflow Kani Performance Benchmarks #30: Commit 28dab11 pushed by celinval
October 5, 2023 23:06 3m 49s main
main
October 5, 2023 23:06 3m 49s
Fix labeler workflow Kani Performance Benchmarks #29: Commit a98fabd pushed by celinval
October 5, 2023 22:59 12s main
main
October 5, 2023 22:59 12s
Fix labeler workflow Kani Performance Benchmarks #28: Commit 557afee pushed by celinval
October 5, 2023 22:56 24s main
main
October 5, 2023 22:56 24s
Run benchcomp if PR is labeled 'Z-BenchCI' Kani Performance Benchmarks #27: Commit 49f0598 pushed by celinval
October 5, 2023 22:42 35s main
main
October 5, 2023 22:42 35s
Limit --exclude to workspace packages (#2808) Kani Performance Benchmarks #26: Commit 534b050 pushed by celinval
October 5, 2023 22:39 1m 55s main
main
October 5, 2023 22:39 1m 55s
Auto label PRs that may require extra checks (#2785) Kani Performance Benchmarks #25: Commit 6b1a09d pushed by celinval
September 26, 2023 00:48 1h 50m 44s main
main
September 26, 2023 00:48 1h 50m 44s
Auto label PRs that may require extra checks Kani Performance Benchmarks #24: Commit c68b40a pushed by celinval
September 21, 2023 18:52 4m 3s main
main
September 21, 2023 18:52 4m 3s
Merge pull request #11 from celinval/issue-2606-auto-label Kani Performance Benchmarks #23: Commit 97ce711 pushed by celinval
September 21, 2023 18:38 1h 26m 18s main
main
September 21, 2023 18:38 1h 26m 18s
Merge pull request #10 from celinval/issue-2606-auto-label Kani Performance Benchmarks #22: Commit a146e34 pushed by celinval
September 21, 2023 18:28 1h 53m 2s main
main
September 21, 2023 18:28 1h 53m 2s
Bump version 0.37.0 (#2783) Kani Performance Benchmarks #21: Commit c7c0f18 pushed by celinval
September 20, 2023 20:09 6h 0m 24s main
main
September 20, 2023 20:09 6h 0m 24s
Issue 2442 build perf Kani Performance Benchmarks #20: Pull request #8 labeled by celinval
September 20, 2023 20:08 1h 32m 25s issue-2442-build-perf
issue-2442-build-perf
September 20, 2023 20:08 1h 32m 25s
Use the clap derive API for the command line arguments of `kani-com… Kani Performance Benchmarks #19: Commit 03d9331 pushed by celinval
August 30, 2023 22:42 1h 27m 24s main
main
August 30, 2023 22:42 1h 27m 24s
Automatic toolchain upgrade to nightly-2023-08-19 (#2697) Kani Performance Benchmarks #18: Commit 931b1bb pushed by celinval
August 23, 2023 01:22 1h 37m 5s main
main
August 23, 2023 01:22 1h 37m 5s
Add test for floating point remainder issue (#2679) Kani Performance Benchmarks #17: Commit f9e2cef pushed by celinval
August 14, 2023 23:36 1h 58m 56s main
main
August 14, 2023 23:36 1h 58m 56s