Skip to content

Actions: model-checking/kani

Actions

Release Bundle

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Release Bundle Release Bundle #3104: Merge group checks requested
November 11, 2024 06:24 25m 52s
November 11, 2024 06:24 25m 52s
Update verify-std-check workflow to enable loop contracts Release Bundle #3103: Pull request #3705 opened by qinheping
November 11, 2024 06:06 24m 24s qinheping:modify_run_kani
qinheping:modify_run_kani
November 11, 2024 06:06 24m 24s
Automatic cargo update to 2024-11-11 Release Bundle #3102: Pull request #3704 reopened by tautschnig
November 11, 2024 04:14 23m 38s cargo-update-2024-11-11
cargo-update-2024-11-11
November 11, 2024 04:14 23m 38s
Upgrade Rust toolchain to 2024-11-08 Release Bundle #3101: Pull request #3703 opened by zhassan-aws
November 9, 2024 03:41 24m 46s zhassan-aws:toolchain-2024-11-08
zhassan-aws:toolchain-2024-11-08
November 9, 2024 03:41 24m 46s
Add support for f16 and f128 in float_to_int_unchecked intrinsic Release Bundle #3100: Pull request #3701 synchronize by zhassan-aws
November 9, 2024 00:59 24m 14s zhassan-aws:float-to-int-f16-f128
zhassan-aws:float-to-int-f16-f128
November 9, 2024 00:59 24m 14s
Add support for f16 and f128 in float_to_int_unchecked intrinsic Release Bundle #3099: Pull request #3701 synchronize by zhassan-aws
November 9, 2024 00:59 24m 32s zhassan-aws:float-to-int-f16-f128
zhassan-aws:float-to-int-f16-f128
November 9, 2024 00:59 24m 32s
Add support for f16 and f128 in float_to_int_unchecked intrinsic Release Bundle #3098: Pull request #3701 opened by zhassan-aws
November 9, 2024 00:58 24m 2s zhassan-aws:float-to-int-f16-f128
zhassan-aws:float-to-int-f16-f128
November 9, 2024 00:58 24m 2s
Remove CBMC viewer and visualize option (#3699) Release Bundle #3097: Commit 26c078e pushed by github-merge-queue bot
November 9, 2024 00:37 24m 30s main
main
November 9, 2024 00:37 24m 30s
Release Bundle Release Bundle #3096: Merge group checks requested
November 8, 2024 23:56 24m 32s
November 8, 2024 23:56 24m 32s
Remove CBMC viewer and visualize option Release Bundle #3095: Pull request #3699 synchronize by zhassan-aws
November 8, 2024 22:48 29m 50s zhassan-aws:delete-viewer
zhassan-aws:delete-viewer
November 8, 2024 22:48 29m 50s
Remove CBMC viewer and visualize option Release Bundle #3094: Pull request #3699 opened by zhassan-aws
November 8, 2024 22:46 28m 15s zhassan-aws:delete-viewer
zhassan-aws:delete-viewer
November 8, 2024 22:46 28m 15s
Turn clause to contract Release Bundle #3093: Pull request #3698 opened by jaisnan
November 8, 2024 20:06 26m 4s jaisnan:turn-clause-to-contract
jaisnan:turn-clause-to-contract
November 8, 2024 20:06 26m 4s
Apply loop contracts only if there exists some usage (#3694) Release Bundle #3092: Commit 8400296 pushed by github-merge-queue bot
November 8, 2024 02:48 23m 59s main
main
November 8, 2024 02:48 23m 59s
Release Bundle Release Bundle #3091: Merge group checks requested
November 8, 2024 01:49 24m 55s
November 8, 2024 01:49 24m 55s
Release Bundle Release Bundle #3090: Merge group checks requested
November 8, 2024 01:38 25m 13s
November 8, 2024 01:38 25m 13s
Apply loop contracts only if there exists some usage Release Bundle #3089: Pull request #3694 synchronize by qinheping
November 8, 2024 00:51 23m 54s qinheping:loop_contracts_with_free
qinheping:loop_contracts_with_free
November 8, 2024 00:51 23m 54s
Remove symtab json support Release Bundle #3088: Pull request #3695 opened by celinval
November 8, 2024 00:51 23m 26s celinval:issue-xxxx-symtab-json
celinval:issue-xxxx-symtab-json
November 8, 2024 00:51 23m 26s
Apply loop contracts only if there exists some usage Release Bundle #3087: Pull request #3694 synchronize by qinheping
November 7, 2024 23:50 23m 14s qinheping:loop_contracts_with_free
qinheping:loop_contracts_with_free
November 7, 2024 23:50 23m 14s
Apply loop contracts only if there exists some usage Release Bundle #3086: Pull request #3694 synchronize by qinheping
November 7, 2024 22:59 27m 23s qinheping:loop_contracts_with_free
qinheping:loop_contracts_with_free
November 7, 2024 22:59 27m 23s
Apply loop contracts only if there exists some usage Release Bundle #3085: Pull request #3694 opened by qinheping
November 7, 2024 22:53 20m 42s qinheping:loop_contracts_with_free
qinheping:loop_contracts_with_free
November 7, 2024 22:53 20m 42s
Update cbmc-viewer to 3.10 (#3683) Release Bundle #3084: Commit 9b2bbd3 pushed by github-merge-queue bot
November 7, 2024 10:16 24m 41s main
main
November 7, 2024 10:16 24m 41s
Release Bundle Release Bundle #3083: Merge group checks requested
November 7, 2024 09:16 26m 10s
November 7, 2024 09:16 26m 10s
Derive Arbitrary for enums with a single variant (#3692) Release Bundle #3082: Commit 4781b95 pushed by github-merge-queue bot
November 7, 2024 02:42 24m 8s main
main
November 7, 2024 02:42 24m 8s
Release Bundle Release Bundle #3081: Merge group checks requested
November 7, 2024 01:47 25m 43s
November 7, 2024 01:47 25m 43s
Update features/verify-rust-std branch to 11-06 Release Bundle #3080: Pull request #3690 synchronize by github-merge-queue bot
November 6, 2024 21:22 23m 48s main
main
November 6, 2024 21:22 23m 48s