Skip to content

Actions: tautschnig/kani

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,164 workflow runs
2,164 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Attempt toolchain update Attempt toolchain update #391: Scheduled
December 7, 2023 02:39 57s main
main
December 7, 2023 02:39 57s
Revert model change and add new test Kani Format Check #220: Commit ff40897 pushed by celinval
December 6, 2023 22:40 1m 58s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 6, 2023 22:40 1m 58s
Revert model change and add new test Kani CI #220: Commit ff40897 pushed by celinval
December 6, 2023 22:40 26m 50s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 6, 2023 22:40 26m 50s
Revert model change and add new test Cargo Audit #221: Commit ff40897 pushed by celinval
December 6, 2023 22:40 1m 12s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 6, 2023 22:40 1m 12s
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
Add a new test that narrow down the issue Cargo Audit #220: Commit 787268c pushed by celinval
December 6, 2023 21:37 1m 9s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 6, 2023 21:37 1m 9s
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 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
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
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 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
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
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
ProTip! You can narrow down the results and go further in time using created:<2023-12-04 or the other filters available.