Skip to content

Actions: tautschnig/kani

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
59 workflow run results
59 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' into auto-cargo-update Kani CI #227: Commit 78a1ca2 pushed by tautschnig
December 14, 2023 19:08 31m 59s auto-cargo-update
auto-cargo-update
December 14, 2023 19:08 31m 59s
Automate cargo update without dependabot Kani CI #226: Commit 56df656 pushed by tautschnig
December 13, 2023 22:36 29m 9s auto-cargo-update
auto-cargo-update
December 13, 2023 22:36 29m 9s
Merge branch 'main' into toolchain-2023-12-03-manual Kani CI #225: Commit 0ed32e4 pushed by celinval
December 8, 2023 03:54 38m 20s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 8, 2023 03:54 38m 20s
Regression now passes Kani CI #224: Commit 9be3d1f pushed by celinval
December 8, 2023 01:51 35m 5s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 8, 2023 01:51 35m 5s
Add more tests (simd_shuffle/simd_swizzle) Kani CI #223: Commit fa92da2 pushed by adpaco-aws
December 7, 2023 22:25 26m 21s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 7, 2023 22:25 26m 21s
Revert "Bump actions/labeler from 4 to 5 (#2917)" Kani CI #222: Commit 9d535f8 pushed by tautschnig
December 7, 2023 16:24 38m 36s revert-labeler
revert-labeler
December 7, 2023 16:24 38m 36s
Updated labeler GitHub action configuration to v5 format Kani CI #221: Commit bfa4e0d pushed by tautschnig
December 7, 2023 16:15 28m 59s labeler-v5-config
labeler-v5-config
December 7, 2023 16:15 28m 59s
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
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
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
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
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
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
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
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
portable-simd no longer provides a ToBitMask trait Kani CI #212: Commit 86c81b0 pushed by tautschnig
December 4, 2023 22:51 7m 10s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 4, 2023 22:51 7m 10s
fmt Kani CI #211: Commit fa0e758 pushed by tautschnig
December 3, 2023 22:32 7m 59s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 3, 2023 22:32 7m 59s
Update the rust toolchain to nightly-2023-12-03 Kani CI #210: Commit 660b1f8 pushed by tautschnig
December 3, 2023 22:12 7m 12s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 3, 2023 22:12 7m 12s
Add disk space output to debug occasional test failures Kani CI #209: Commit b4387dd pushed by tautschnig
November 30, 2023 10:26 30m 5s disk-space-debug
disk-space-debug
November 30, 2023 10:26 30m 5s
Update .github/workflows/cbmc-update.yml Kani CI #208: Commit a49110e pushed by tautschnig
November 28, 2023 21:48 29m 11s auto-update-deps
auto-update-deps
November 28, 2023 21:48 29m 11s
Update .github/workflows/cbmc-update.yml Kani CI #207: Commit 2e1fc70 pushed by tautschnig
November 28, 2023 21:48 26m 43s auto-update-deps
auto-update-deps
November 28, 2023 21:48 26m 43s
Respond to feedback Kani CI #206: Commit 4161fe7 pushed by tautschnig
November 28, 2023 21:48 27m 50s auto-update-deps
auto-update-deps
November 28, 2023 21:48 27m 50s
Merge branch 'main' into dependabot Kani CI #205: Commit e967803 pushed by tautschnig
November 28, 2023 15:27 40m 59s dependabot
dependabot
November 28, 2023 15:27 40m 59s
Merge branch 'main' into dependabot Kani CI #204: Commit 5ff90da pushed by tautschnig
November 28, 2023 14:46 37m 5s dependabot
dependabot
November 28, 2023 14:46 37m 5s
Merge branch 'main' into release-0.42.0 Kani CI #203: Commit ac2f4a1 pushed by tautschnig
November 28, 2023 14:46 26m 48s release-0.42.0
release-0.42.0
November 28, 2023 14:46 26m 48s