Skip to content

Actions: tautschnig/kani

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
880 workflow run results
880 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add a new test that narrow down the issue Kani CI #219: Commit 787268c pushed by celinval
December 6, 2023 21:37 27m 1s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 6, 2023 21:37 27m 1s
Add a new test that narrow down the issue Kani Format Check #219: Commit 787268c pushed by celinval
December 6, 2023 21:37 2m 53s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 6, 2023 21:37 2m 53s
Revert model change Kani CI #218: Commit 74cf69d pushed by celinval
December 6, 2023 21:18 28m 32s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 6, 2023 21:18 28m 32s
Revert model change Cargo Audit #219: Commit 74cf69d pushed by celinval
December 6, 2023 21:18 1m 15s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 6, 2023 21:18 1m 15s
Revert model change Kani Format Check #218: Commit 74cf69d pushed by celinval
December 6, 2023 21:18 3m 29s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 6, 2023 21:18 3m 29s
Work around issue with is_foreign_item Kani Format Check #217: Commit 505700a pushed by celinval
December 6, 2023 19:30 2m 16s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 6, 2023 19:30 2m 16s
Work around issue with is_foreign_item Cargo Audit #218: Commit 505700a pushed by celinval
December 6, 2023 19:30 1m 14s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 6, 2023 19:30 1m 14s
Work around issue with is_foreign_item Kani CI #217: Commit 505700a pushed by celinval
December 6, 2023 19:30 27m 10s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 6, 2023 19:30 27m 10s
Nightly: CBMC Latest Nightly: CBMC Latest #134: Scheduled
December 6, 2023 09:14 41m 57s main
main
December 6, 2023 09:14 41m 57s
Nightly: Slow tests Nightly: Slow tests #136: Scheduled
December 6, 2023 05:33 11m 5s main
main
December 6, 2023 05:33 11m 5s
Attempt toolchain update Attempt toolchain update #390: Scheduled
December 6, 2023 02:39 1m 1s main
main
December 6, 2023 02:39 1m 1s
Nightly: CBMC Latest Nightly: CBMC Latest #133: Scheduled
December 5, 2023 09:15 42m 44s main
main
December 5, 2023 09:15 42m 44s
validate_instance: make sure we actually have a body Kani Format Check #216: Commit 9f2d97b pushed by tautschnig
December 5, 2023 08:44 3m 5s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 5, 2023 08:44 3m 5s
validate_instance: make sure we actually have a body Kani CI #216: Commit 9f2d97b pushed by tautschnig
December 5, 2023 08:44 8m 13s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 5, 2023 08:44 8m 13s
validate_instance: make sure we actually have a body Cargo Audit #217: Commit 9f2d97b pushed by tautschnig
December 5, 2023 08:44 1m 42s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 5, 2023 08:44 1m 42s
Nightly: Slow tests Nightly: Slow tests #135: Scheduled
December 5, 2023 05:32 9m 19s main
main
December 5, 2023 05:32 9m 19s
Attempt toolchain update Attempt toolchain update #389: Scheduled
December 5, 2023 02:40 56s main
main
December 5, 2023 02:40 56s
Compiles, test still fails Kani CI #215: Commit fcae824 pushed by tautschnig
December 4, 2023 23:43 7m 43s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 4, 2023 23:43 7m 43s
Compiles, test still fails Cargo Audit #216: Commit fcae824 pushed by tautschnig
December 4, 2023 23:43 59s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 4, 2023 23:43 59s
Compiles, test still fails Kani Format Check #215: Commit fcae824 pushed by tautschnig
December 4, 2023 23:43 2m 44s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 4, 2023 23:43 2m 44s
Fix with u64 Kani CI #214: Commit 6207f88 pushed by tautschnig
December 4, 2023 23:01 7m 51s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 4, 2023 23:01 7m 51s
Fix with u64 Kani Format Check #214: Commit 6207f88 pushed by tautschnig
December 4, 2023 23:01 1m 56s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 4, 2023 23:01 1m 56s
Fix with u64 Cargo Audit #215: Commit 6207f88 pushed by tautschnig
December 4, 2023 23:01 1m 1s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 4, 2023 23:01 1m 1s
Also drop unit test of our stub that uses ToBitMask Kani CI #213: Commit ba6b95e pushed by tautschnig
December 4, 2023 22:57 8m 6s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 4, 2023 22:57 8m 6s
Also drop unit test of our stub that uses ToBitMask Cargo Audit #214: Commit ba6b95e pushed by tautschnig
December 4, 2023 22:57 59s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 4, 2023 22:57 59s
ProTip! You can narrow down the results and go further in time using created:<2023-12-04 or the other filters available.