Skip to content

Actions: karkhaz/kani

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,442 workflow runs
1,442 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix formatting errors Kani CI #396: Commit 66ef62e pushed by karkhaz
March 7, 2024 00:47 35m 8s kk-emit-dead-statement
kk-emit-dead-statement
March 7, 2024 00:47 35m 8s
Fix formatting errors Cargo Audit #397: Commit 66ef62e pushed by karkhaz
March 7, 2024 00:47 1m 3s kk-emit-dead-statement
kk-emit-dead-statement
March 7, 2024 00:47 1m 3s
Enable address sanitizer Cargo Audit #396: Commit d6b0595 pushed by karkhaz
March 7, 2024 00:44 59s kk-emit-dead-statement
kk-emit-dead-statement
March 7, 2024 00:44 59s
Enable address sanitizer Kani CI #395: Commit d6b0595 pushed by karkhaz
March 7, 2024 00:44 3m 26s kk-emit-dead-statement
kk-emit-dead-statement
March 7, 2024 00:44 3m 26s
Enable address sanitizer Kani Format Check #396: Commit d6b0595 pushed by karkhaz
March 7, 2024 00:44 8m 47s kk-emit-dead-statement
kk-emit-dead-statement
March 7, 2024 00:44 8m 47s
Fail when accessing dead local var via raw pointer Kani CI #394: Commit a64ff01 pushed by karkhaz
March 7, 2024 00:27 31m 42s kk-emit-dead-statement
kk-emit-dead-statement
March 7, 2024 00:27 31m 42s
Fail when accessing dead local var via raw pointer Cargo Audit #395: Commit a64ff01 pushed by karkhaz
March 7, 2024 00:27 1m 12s kk-emit-dead-statement
kk-emit-dead-statement
March 7, 2024 00:27 1m 12s
Fail when accessing dead local var via raw pointer Kani Format Check #395: Commit a64ff01 pushed by karkhaz
March 7, 2024 00:27 2m 53s kk-emit-dead-statement
kk-emit-dead-statement
March 7, 2024 00:27 2m 53s
Merge branch 'main' into kk-fix-metric-result-loading Kani CI #393: Commit ae712f4 pushed by tautschnig
February 1, 2024 09:05 29m 16s kk-fix-metric-result-loading
kk-fix-metric-result-loading
February 1, 2024 09:05 29m 16s
Merge branch 'main' into kk-fix-metric-result-loading Kani Format Check #394: Commit ae712f4 pushed by tautschnig
February 1, 2024 09:05 2m 39s kk-fix-metric-result-loading
kk-fix-metric-result-loading
February 1, 2024 09:05 2m 39s
Merge branch 'main' into kk-fix-metric-result-loading Cargo Audit #394: Commit ae712f4 pushed by tautschnig
February 1, 2024 09:05 1m 11s kk-fix-metric-result-loading
kk-fix-metric-result-loading
February 1, 2024 09:05 1m 11s
Don't crash when benchmark contains unknown metric Kani CI #392: Commit 1b21da4 pushed by karkhaz
January 26, 2024 17:41 34m 28s kk-fix-metric-result-loading
kk-fix-metric-result-loading
January 26, 2024 17:41 34m 28s
Don't crash when benchmark contains unknown metric Cargo Audit #393: Commit 1b21da4 pushed by karkhaz
January 26, 2024 17:41 1m 32s kk-fix-metric-result-loading
kk-fix-metric-result-loading
January 26, 2024 17:41 1m 32s
Don't crash when benchmark contains unknown metric Kani Format Check #393: Commit 1b21da4 pushed by karkhaz
January 26, 2024 17:41 1m 59s kk-fix-metric-result-loading
kk-fix-metric-result-loading
January 26, 2024 17:41 1m 59s
Merge branch 'main' into kk-gen-docs Cargo Audit #392: Commit 7a79c5f pushed by tautschnig
December 12, 2023 22:51 1m 3s kk-gen-docs
kk-gen-docs
December 12, 2023 22:51 1m 3s
Merge branch 'main' into kk-gen-docs Kani CI #391: Commit 7a79c5f pushed by tautschnig
December 12, 2023 22:51 37m 49s kk-gen-docs
kk-gen-docs
December 12, 2023 22:51 37m 49s
Merge branch 'main' into kk-gen-docs Kani Format Check #392: Commit 7a79c5f pushed by tautschnig
December 12, 2023 22:51 2m 3s kk-gen-docs
kk-gen-docs
December 12, 2023 22:51 2m 3s
ProTip! You can narrow down the results and go further in time using created:<2023-12-12 or the other filters available.