Skip to content

Actions: tautschnig/kani

Actions

Kani Format Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format-check.yml
266 workflow runs
266 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' into auto-cargo-update Kani Format Check #227: Commit 78a1ca2 pushed by tautschnig
December 14, 2023 19:08 3m 2s auto-cargo-update
auto-cargo-update
December 14, 2023 19:08 3m 2s
Automate cargo update without dependabot Kani Format Check #226: Commit 56df656 pushed by tautschnig
December 13, 2023 22:36 3m 12s auto-cargo-update
auto-cargo-update
December 13, 2023 22:36 3m 12s
Merge branch 'main' into toolchain-2023-12-03-manual Kani Format Check #225: Commit 0ed32e4 pushed by celinval
December 8, 2023 03:54 2m 7s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 8, 2023 03:54 2m 7s
Regression now passes Kani Format Check #224: Commit 9be3d1f pushed by celinval
December 8, 2023 01:51 2m 21s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 8, 2023 01:51 2m 21s
Add more tests (simd_shuffle/simd_swizzle) Kani Format Check #223: Commit fa92da2 pushed by adpaco-aws
December 7, 2023 22:25 2m 19s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 7, 2023 22:25 2m 19s
Revert "Bump actions/labeler from 4 to 5 (#2917)" Kani Format Check #222: Commit 9d535f8 pushed by tautschnig
December 7, 2023 16:24 2m 20s revert-labeler
revert-labeler
December 7, 2023 16:24 2m 20s
Updated labeler GitHub action configuration to v5 format Kani Format Check #221: Commit bfa4e0d pushed by tautschnig
December 7, 2023 16:15 2m 12s labeler-v5-config
labeler-v5-config
December 7, 2023 16:15 2m 12s
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
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 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
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
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 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
Also drop unit test of our stub that uses ToBitMask Kani Format Check #213: Commit ba6b95e pushed by tautschnig
December 4, 2023 22:57 2m 4s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 4, 2023 22:57 2m 4s
portable-simd no longer provides a ToBitMask trait Kani Format Check #212: Commit 86c81b0 pushed by tautschnig
December 4, 2023 22:51 2m 6s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 4, 2023 22:51 2m 6s
ProTip! You can narrow down the results and go further in time using created:<2023-12-04 or the other filters available.