Skip to content

Actions: tautschnig/kani

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
304 workflow runs
304 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

No firm location Kani CI #336: Commit 3231cb1 pushed by tautschnig
June 11, 2024 10:04 28m 58s fix-77
fix-77
June 11, 2024 10:04 28m 58s
Remove further uses of Location::none Kani CI #335: Commit fb35ce0 pushed by tautschnig
June 11, 2024 10:03 6m 35s fix-136
fix-136
June 11, 2024 10:03 6m 35s
Pointers-out-of-scope test no longer is "fixme" Kani CI #334: Commit 9f01cf0 pushed by tautschnig
June 11, 2024 08:22 27m 58s fix-77
fix-77
June 11, 2024 08:22 27m 58s
Toolchain 2024-06-11 Kani CI #333: Commit 22ca434 pushed by tautschnig
June 11, 2024 07:17 31m 24s toolchain-2024-06-04-manual
toolchain-2024-06-04-manual
June 11, 2024 07:17 31m 24s
Fixup message test Kani CI #332: Commit 915662a pushed by tautschnig
June 10, 2024 21:19 34m 9s fix-3101
fix-3101
June 10, 2024 21:19 34m 9s
Amend message Kani CI #331: Commit 69aaf97 pushed by tautschnig
June 10, 2024 20:59 31m 30s fix-3101
fix-3101
June 10, 2024 20:59 31m 30s
Expand test Kani CI #330: Commit 60572fc pushed by tautschnig
June 10, 2024 20:49 31m 35s toolchain-2024-06-04-manual
toolchain-2024-06-04-manual
June 10, 2024 20:49 31m 35s
Merge remote-tracking branch 'origin/main' into toolchain-2024-06-04-… Kani CI #329: Commit 2fbe103 pushed by tautschnig
June 10, 2024 20:30 3m 20s toolchain-2024-06-04-manual
toolchain-2024-06-04-manual
June 10, 2024 20:30 3m 20s
Merge remote-tracking branch 'origin/main' into fix-3101 Kani CI #328: Commit b49a846 pushed by tautschnig
June 10, 2024 20:28 36m 52s fix-3101
fix-3101
June 10, 2024 20:28 36m 52s
Update tests/cargo-kani/build-rs-plus-host-with-kani-proofs/constants… Kani CI #327: Commit 344efd5 pushed by tautschnig
June 10, 2024 19:47 32m 33s fix-3101
fix-3101
June 10, 2024 19:47 32m 33s
Update tests/cargo-kani/build-rs-plus-host-with-kani-proofs/README.md Kani CI #326: Commit f0330d6 pushed by tautschnig
June 10, 2024 19:47 30m 53s fix-3101
fix-3101
June 10, 2024 19:47 30m 53s
Merge remote-tracking branch 'origin/main' into fix-3101 Kani CI #325: Commit 34c35e8 pushed by tautschnig
June 10, 2024 09:46 33m 46s fix-3101
fix-3101
June 10, 2024 09:46 33m 46s
Cargo update Kani CI #324: Commit ceb94bd pushed by tautschnig
June 10, 2024 09:23 34m 36s toolchain-2024-06-04-manual
toolchain-2024-06-04-manual
June 10, 2024 09:23 34m 36s
Merge remote-tracking branch 'origin/main' into toolchain-2024-06-04-… Kani CI #323: Commit c2f5632 pushed by tautschnig
June 10, 2024 07:59 32m 31s toolchain-2024-06-04-manual
toolchain-2024-06-04-manual
June 10, 2024 07:59 32m 31s
Add comment Kani CI #322: Commit e593fe3 pushed by tautschnig
June 8, 2024 04:55 31m 44s fix-2909
fix-2909
June 8, 2024 04:55 31m 44s
Toolchain 2024-06-08 Kani CI #321: Commit 20efe4b pushed by tautschnig
June 8, 2024 04:45 36m 2s toolchain-2024-06-04-manual
toolchain-2024-06-04-manual
June 8, 2024 04:45 36m 2s
Merge branch 'main' into fix-3101 Kani CI #320: Commit d00f2e0 pushed by tautschnig
June 8, 2024 04:42 31m 20s fix-3101
fix-3101
June 8, 2024 04:42 31m 20s
Copyright Kani CI #319: Commit 45cf4f3 pushed by tautschnig
June 8, 2024 04:41 30m 5s fix-3101
fix-3101
June 8, 2024 04:41 30m 5s
Use cfg=kani_host for host crates Kani CI #318: Commit a5038a7 pushed by tautschnig
June 8, 2024 04:35 30m 42s fix-3101
fix-3101
June 8, 2024 04:35 30m 42s
Fixup to adjust to #3207 Kani CI #317: Commit 8a04ad9 pushed by tautschnig
June 7, 2024 16:07 44m 35s fix-2909
fix-2909
June 7, 2024 16:07 44m 35s
Merge branch 'main' into fix-2909 Kani CI #316: Commit ef9ecda pushed by tautschnig
June 7, 2024 13:09 33m 8s fix-2909
fix-2909
June 7, 2024 13:09 33m 8s
Fix TyConst with TyConstKind Value Kani CI #315: Commit 26cdae0 pushed by tautschnig
June 7, 2024 12:54 31m 45s toolchain-2024-06-04-manual
toolchain-2024-06-04-manual
June 7, 2024 12:54 31m 45s
Remove comment Kani CI #314: Commit d4cc107 pushed by tautschnig
June 7, 2024 12:43 6m 28s toolchain-2024-06-04-manual
toolchain-2024-06-04-manual
June 7, 2024 12:43 6m 28s
Fall back to MIR to create a TyConst from a ty::Const Kani CI #313: Commit 4d20129 pushed by tautschnig
June 7, 2024 12:42 6m 15s toolchain-2024-06-04-manual
toolchain-2024-06-04-manual
June 7, 2024 12:42 6m 15s
Push toolchain date to 2024-06-07 Kani CI #312: Commit 1b7d41b pushed by tautschnig
June 7, 2024 11:59 3m 2s toolchain-2024-06-04-manual
toolchain-2024-06-04-manual
June 7, 2024 11:59 3m 2s