Skip to content

Actions: model-checking/kani

Actions

Release Bundle

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
3,499 workflow runs
3,499 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix transmute codegen when sizes are different Release Bundle #3631: Pull request #3861 opened by celinval
January 28, 2025 23:44 11m 7s celinval:issue-3839-transmute
celinval:issue-3839-transmute
January 28, 2025 23:44 11m 7s
Allow multiple annotations, but check for duplicate targets. (#3808) Release Bundle #3630: Commit cc07375 pushed by github-merge-queue bot
January 28, 2025 23:35 9m 29s main
main
January 28, 2025 23:35 9m 29s
Release Bundle Release Bundle #3629: Merge group checks requested
January 28, 2025 22:59 11m 30s
January 28, 2025 22:59 11m 30s
Toolchain upgrade to nightly-2025-01-28 (#3855) Release Bundle #3628: Commit ecbdb14 pushed by github-merge-queue bot
January 28, 2025 22:47 12m 31s main
main
January 28, 2025 22:47 12m 31s
Release Bundle Release Bundle #3627: Merge group checks requested
January 28, 2025 22:33 12m 50s
January 28, 2025 22:33 12m 50s
Release Bundle Release Bundle #3626: Merge group checks requested
January 28, 2025 21:42 14m 45s
January 28, 2025 21:42 14m 45s
Move documentation of kani_core modules to right places Release Bundle #3625: Pull request #3851 synchronize by qinheping
January 28, 2025 21:39 11m 53s qinheping:issues/3815
qinheping:issues/3815
January 28, 2025 21:39 11m 53s
Allow multiple annotations, but check for duplicate targets. Release Bundle #3624: Pull request #3808 synchronize by celinval
January 28, 2025 21:35 13m 34s remi-delmas-3000:multiple-stub-verified
remi-delmas-3000:multiple-stub-verified
January 28, 2025 21:35 13m 34s
Move documentation of kani_core modules to right places Release Bundle #3623: Pull request #3851 synchronize by qinheping
January 28, 2025 21:14 13m 55s qinheping:issues/3815
qinheping:issues/3815
January 28, 2025 21:14 13m 55s
Add reference for loop contracts Release Bundle #3622: Pull request #3849 synchronize by qinheping
January 28, 2025 20:51 10m 36s qinheping:docs/loop-contracts
qinheping:docs/loop-contracts
January 28, 2025 20:51 10m 36s
Add reference for loop contracts Release Bundle #3621: Pull request #3849 synchronize by qinheping
January 28, 2025 20:24 12m 43s qinheping:docs/loop-contracts
qinheping:docs/loop-contracts
January 28, 2025 20:24 12m 43s
Add reference for loop contracts Release Bundle #3620: Pull request #3849 synchronize by qinheping
January 28, 2025 20:22 12m 45s qinheping:docs/loop-contracts
qinheping:docs/loop-contracts
January 28, 2025 20:22 12m 45s
Toolchain upgrade to nightly-2025-01-28 Release Bundle #3619: Pull request #3855 synchronize by feliperodri
January 28, 2025 19:27 14m 17s feliperodri:toolchain-upgrade
feliperodri:toolchain-upgrade
January 28, 2025 19:27 14m 17s
Toolchain upgrade to nightly-2025-01-28 Release Bundle #3618: Pull request #3855 synchronize by feliperodri
January 28, 2025 17:35 19m 33s feliperodri:toolchain-upgrade
feliperodri:toolchain-upgrade
January 28, 2025 17:35 19m 33s
Adjust PropertyClass of assertions to identify UB Release Bundle #3617: Pull request #3860 synchronize by tautschnig
January 28, 2025 15:54 10m 28s tautschnig:audit-property-class
tautschnig:audit-property-class
January 28, 2025 15:54 10m 28s
Adjust PropertyClass of assertions to identify UB Release Bundle #3616: Pull request #3860 synchronize by tautschnig
January 28, 2025 14:54 12m 5s tautschnig:audit-property-class
tautschnig:audit-property-class
January 28, 2025 14:54 12m 5s
Adjust PropertyClass of assertions to identify UB Release Bundle #3615: Pull request #3860 opened by tautschnig
January 28, 2025 14:36 11m 34s tautschnig:audit-property-class
tautschnig:audit-property-class
January 28, 2025 14:36 11m 34s
Stub linker to avoid missing symbols errors (#3858) Release Bundle #3614: Commit bc134ce pushed by github-merge-queue bot
January 28, 2025 02:58 14m 33s main
main
January 28, 2025 02:58 14m 33s
Deprecate --enable-unstable and --restrict-vtable (#3859) Release Bundle #3613: Commit 20998ef pushed by github-merge-queue bot
January 28, 2025 02:48 17m 34s main
main
January 28, 2025 02:48 17m 34s
Release Bundle Release Bundle #3612: Merge group checks requested
January 28, 2025 01:58 13m 31s
January 28, 2025 01:58 13m 31s
Release Bundle Release Bundle #3611: Merge group checks requested
January 28, 2025 01:53 17m 59s
January 28, 2025 01:53 17m 59s
Deprecate --enable-unstable and --restrict-vtable Release Bundle #3610: Pull request #3859 opened by celinval
January 27, 2025 23:38 15m 0s celinval:issue-2279-rm-enable-unstable
celinval:issue-2279-rm-enable-unstable
January 27, 2025 23:38 15m 0s
Stub linker to avoid missing symbols errors Release Bundle #3609: Pull request #3858 opened by celinval
January 27, 2025 23:20 18m 13s celinval:issue-3817-stub-linker
celinval:issue-3817-stub-linker
January 27, 2025 23:20 18m 13s
Automatic cargo update to 2025-01-27 (#3856) Release Bundle #3608: Commit 7240545 pushed by github-merge-queue bot
January 27, 2025 20:03 10m 37s main
main
January 27, 2025 20:03 10m 37s
Toolchain upgrade to nightly-2025-01-28 Release Bundle #3607: Pull request #3855 synchronize by feliperodri
January 27, 2025 20:00 12m 20s feliperodri:toolchain-upgrade
feliperodri:toolchain-upgrade
January 27, 2025 20:00 12m 20s