Skip to content

Actions: model-checking/kani

Actions

Release Bundle

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
1,787 workflow runs
1,787 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Resolve multi-candidate methods on impls defined outside the type's module Release Bundle #6764: Pull request #4778 synchronize by kasimte
Action required kasimte:fix-impl-path-resolution
kasimte:fix-impl-path-resolution
Action required
Resolve multi-candidate methods on impls defined outside the type's module Release Bundle #6763: Pull request #4778 opened by kasimte
1h 19m 46s kasimte:fix-impl-path-resolution
kasimte:fix-impl-path-resolution
1h 19m 46s
Fix compiler crash on slice-modifies verified stubs (#4748) (#4749) Release Bundle #6762: Commit b07abe8 pushed by github-merge-queue Bot
15m 42s main
main
15m 42s
Release Bundle Release Bundle #6761: Merge group checks requested
16m 24s
16m 24s
Detect stub_verified/Arbitrary recursion at compile time (#4571) Release Bundle #6760: Commit de8d809 pushed by github-merge-queue Bot
20m 24s main
main
20m 24s
Bump tests/perf/s2n-quic from 76e8496 to a33d369 (#4776) Release Bundle #6759: Commit e1ba56b pushed by github-merge-queue Bot
20m 38s main
main
20m 38s
Release Bundle Release Bundle #6758: Merge group checks requested
24m 9s
24m 9s
Release Bundle Release Bundle #6757: Merge group checks requested
20m 33s
20m 33s
Detect stub_verified/Arbitrary recursion at compile time Release Bundle #6756: Pull request #4571 synchronize by feliperodri
16m 46s feliperodri:fix-stub-verified-arbitrary
feliperodri:fix-stub-verified-arbitrary
16m 46s
Bump tests/perf/s2n-quic from 76e8496 to a33d369 Release Bundle #6755: Pull request #4776 opened by dependabot Bot
18m 20s dependabot/submodules/tests/perf/s2n-quic-a33d369
dependabot/submodules/tests/perf/s2n-quic-a33d369
18m 20s
Automatic cargo update to 2026-08-31 (#4775) Release Bundle #6754: Commit aaccbc1 pushed by github-merge-queue Bot
16m 1s main
main
16m 1s
Release Bundle Release Bundle #6753: Merge group checks requested
20m 50s
20m 50s
Automatic cargo update to 2026-08-31 Release Bundle #6752: Pull request #4775 reopened by feliperodri
15m 23s cargo-update-2026-08-31
cargo-update-2026-08-31
15m 23s
Automatic cargo update to 2026-08-31 Release Bundle #6751: Pull request #4775 opened by github-actions Bot
8h 46m 6s cargo-update-2026-08-31
cargo-update-2026-08-31
8h 46m 6s
Fail verification when the solver backend drops quantifiers (#4719) Release Bundle #6750: Commit 10bc1ae pushed by github-merge-queue Bot
15m 49s main
main
15m 49s
Release Bundle Release Bundle #6749: Merge group checks requested
20m 23s
20m 23s
Automatic upgrade of CBMC from 6.10.0 to 6.11.0 (#4754) Release Bundle #6748: Commit 37960b2 pushed by github-merge-queue Bot
18m 1s main
main
18m 1s
Release Bundle Release Bundle #6747: Merge group checks requested
32m 27s
32m 27s
Automatic upgrade of CBMC from 6.10.0 to 6.11.0 Release Bundle #6746: Pull request #4754 synchronize by tautschnig
26m 33s cbmc-6.11.0
cbmc-6.11.0
26m 33s
Upgrade Rust toolchain to nightly-2026-08-21 (#4768) Release Bundle #6745: Commit 089013d pushed by github-merge-queue Bot
15m 52s main
main
15m 52s
Release Bundle Release Bundle #6744: Merge group checks requested
22m 22s
22m 22s
RFC: Structured verification results (export-json) Release Bundle #6743: Pull request #4727 synchronize by ivmat
Action required ivmat:rfc-export-json
ivmat:rfc-export-json
Action required
Upgrade Rust toolchain to nightly-2026-08-21 Release Bundle #6742: Pull request #4768 synchronize by feliperodri
28m 6s feliperodri:toolchain-2026-08-21
feliperodri:toolchain-2026-08-21
28m 6s
Report the failure exit code under --quiet Release Bundle #6741: Pull request #4771 synchronize by ivmat
17m 49s ivmat:fix-quiet-exit-code
ivmat:fix-quiet-exit-code
17m 49s
Report the failure exit code under --quiet Release Bundle #6740: Pull request #4771 synchronize by ivmat
20m 10s ivmat:fix-quiet-exit-code
ivmat:fix-quiet-exit-code
20m 10s