Skip to content

Actions: karkhaz/kani

Actions

Release Bundle

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
24 workflow runs
24 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Don't crash benchcomp when rounding non-numeric values Release Bundle #24: Pull request #10 synchronize by karkhaz
May 29, 2024 14:03 40m 19s kk-fix-scatterplot-crash
kk-fix-scatterplot-crash
May 29, 2024 14:03 40m 19s
Don't crash benchcomp when rounding non-numeric values Release Bundle #23: Pull request #10 opened by karkhaz
May 29, 2024 14:00 40m 15s kk-fix-scatterplot-crash
kk-fix-scatterplot-crash
May 29, 2024 14:00 40m 15s
New section about linter configuraton checking in the doc. (#3198) Release Bundle #22: Commit 5dc5e0b pushed by karkhaz
May 29, 2024 13:59 37m 28s main
main
May 29, 2024 13:59 37m 28s
Show only relevant benchmarks in CI summary Release Bundle #21: Pull request #9 synchronize by karkhaz
March 27, 2024 20:17 36m 30s kk-no-show-empty
kk-no-show-empty
March 27, 2024 20:17 36m 30s
Show only relevant benchmarks in CI summary Release Bundle #20: Pull request #9 opened by karkhaz
March 27, 2024 20:09 41m 48s kk-no-show-empty
kk-no-show-empty
March 27, 2024 20:09 41m 48s
Add CI test for --use-local-toolchain (#3074) Release Bundle #19: Commit 1c3d0f3 pushed by karkhaz
March 27, 2024 20:09 38m 36s main
main
March 27, 2024 20:09 38m 36s
Add benchcomp filter command (#3105) Release Bundle #18: Commit 506bfc4 pushed by karkhaz
March 26, 2024 18:30 18m 1s main
main
March 26, 2024 18:30 18m 1s
Automatic cargo update to 2024-03-25 (#3103) Release Bundle #17: Commit 6253ae7 pushed by karkhaz
March 25, 2024 17:07 19m 6s main
main
March 25, 2024 17:07 19m 6s
Kk add var eval Release Bundle #16: Pull request #8 opened by karkhaz
March 19, 2024 15:44 17m 59s kk-add-var-eval
kk-add-var-eval
March 19, 2024 15:44 17m 59s
Kk emit dead statement test Release Bundle #15: Pull request #7 synchronize by karkhaz
March 13, 2024 16:51 22m 10s kk-emit-dead-statement-test
kk-emit-dead-statement-test
March 13, 2024 16:51 22m 10s
Kk emit dead statement test Release Bundle #14: Pull request #7 synchronize by karkhaz
March 13, 2024 16:39 21m 48s kk-emit-dead-statement-test
kk-emit-dead-statement-test
March 13, 2024 16:39 21m 48s
Kk emit dead statement test Release Bundle #13: Pull request #7 synchronize by karkhaz
March 13, 2024 16:26 14m 20s kk-emit-dead-statement-test
kk-emit-dead-statement-test
March 13, 2024 16:26 14m 20s
Kk emit dead statement test Release Bundle #12: Pull request #7 synchronize by karkhaz
March 13, 2024 15:06 14m 29s kk-emit-dead-statement-test
kk-emit-dead-statement-test
March 13, 2024 15:06 14m 29s
Kk emit dead statement test Release Bundle #11: Pull request #7 synchronize by karkhaz
March 12, 2024 17:40 27m 38s kk-emit-dead-statement-test
kk-emit-dead-statement-test
March 12, 2024 17:40 27m 38s
Kk emit dead statement test Release Bundle #10: Pull request #7 synchronize by karkhaz
March 12, 2024 17:36 22m 12s kk-emit-dead-statement-test
kk-emit-dead-statement-test
March 12, 2024 17:36 22m 12s
Kk emit dead statement test Release Bundle #9: Pull request #7 synchronize by karkhaz
March 12, 2024 16:44 19m 30s kk-emit-dead-statement-test
kk-emit-dead-statement-test
March 12, 2024 16:44 19m 30s
Kk emit dead statement test Release Bundle #8: Pull request #7 synchronize by karkhaz
March 11, 2024 23:32 19m 32s kk-emit-dead-statement-test
kk-emit-dead-statement-test
March 11, 2024 23:32 19m 32s
Kk emit dead statement test Release Bundle #7: Pull request #7 synchronize by karkhaz
March 11, 2024 23:07 38m 39s kk-emit-dead-statement-test
kk-emit-dead-statement-test
March 11, 2024 23:07 38m 39s
Kk emit dead statement test Release Bundle #6: Pull request #7 synchronize by karkhaz
March 11, 2024 23:02 22m 29s kk-emit-dead-statement-test
kk-emit-dead-statement-test
March 11, 2024 23:02 22m 29s
Kk emit dead statement test Release Bundle #5: Pull request #7 synchronize by karkhaz
March 11, 2024 22:53 30m 23s kk-emit-dead-statement-test
kk-emit-dead-statement-test
March 11, 2024 22:53 30m 23s
Kk emit dead statement test Release Bundle #4: Pull request #7 synchronize by karkhaz
March 11, 2024 22:27 21m 43s kk-emit-dead-statement-test
kk-emit-dead-statement-test
March 11, 2024 22:27 21m 43s
Kk emit dead statement test Release Bundle #3: Pull request #7 synchronize by karkhaz
March 11, 2024 22:16 26m 15s kk-emit-dead-statement-test
kk-emit-dead-statement-test
March 11, 2024 22:16 26m 15s
Kk emit dead statement test Release Bundle #2: Pull request #7 opened by karkhaz
March 11, 2024 21:39 20m 40s kk-emit-dead-statement-test
kk-emit-dead-statement-test
March 11, 2024 21:39 20m 40s
Upgrade Rust toolchain to nightly-2024-03-01 (#3052) Release Bundle #1: Commit 12768f2 pushed by karkhaz
March 11, 2024 21:38 19m 49s main
main
March 11, 2024 21:38 19m 49s