Skip to content

Actions: model-checking/kani

Actions

Cargo Deny

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deny.yml
983 workflow runs
983 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cargo Deny Cargo Deny #988: Merge group checks requested
November 11, 2024 06:24 1m 33s
November 11, 2024 06:24 1m 33s
Upgrade Rust toolchain to 2024-11-08 (#3703) Cargo Deny #987: Commit 44d2595 pushed by github-merge-queue bot
November 11, 2024 06:24 1m 44s gh-readonly-queue/main/pr-3703-26c078e097025499baf6e360210a21989d3605e0
gh-readonly-queue/main/pr-3703-26c078e097025499baf6e360210a21989d3605e0
November 11, 2024 06:24 1m 44s
Update verify-std-check workflow to enable loop contracts Cargo Deny #986: Pull request #3705 opened by qinheping
November 11, 2024 06:06 1m 37s qinheping:modify_run_kani
qinheping:modify_run_kani
November 11, 2024 06:06 1m 37s
Automatic cargo update to 2024-11-11 Cargo Deny #985: Pull request #3704 reopened by tautschnig
November 11, 2024 04:14 1m 43s cargo-update-2024-11-11
cargo-update-2024-11-11
November 11, 2024 04:14 1m 43s
Upgrade Rust toolchain to 2024-11-08 Cargo Deny #984: Pull request #3703 opened by zhassan-aws
November 9, 2024 03:41 1m 38s zhassan-aws:toolchain-2024-11-08
zhassan-aws:toolchain-2024-11-08
November 9, 2024 03:41 1m 38s
Add support for f16 and f128 in float_to_int_unchecked intrinsic Cargo Deny #983: Pull request #3701 synchronize by zhassan-aws
November 9, 2024 00:59 1m 40s zhassan-aws:float-to-int-f16-f128
zhassan-aws:float-to-int-f16-f128
November 9, 2024 00:59 1m 40s
Add support for f16 and f128 in float_to_int_unchecked intrinsic Cargo Deny #982: Pull request #3701 synchronize by zhassan-aws
November 9, 2024 00:59 1m 6s zhassan-aws:float-to-int-f16-f128
zhassan-aws:float-to-int-f16-f128
November 9, 2024 00:59 1m 6s
Add support for f16 and f128 in float_to_int_unchecked intrinsic Cargo Deny #981: Pull request #3701 opened by zhassan-aws
November 9, 2024 00:58 1m 24s zhassan-aws:float-to-int-f16-f128
zhassan-aws:float-to-int-f16-f128
November 9, 2024 00:58 1m 24s
Remove CBMC viewer and visualize option (#3699) Cargo Deny #980: Commit 26c078e pushed by github-merge-queue bot
November 9, 2024 00:37 1m 23s main
main
November 9, 2024 00:37 1m 23s
Remove CBMC viewer and visualize option (#3699) Cargo Deny #979: Commit 26c078e pushed by github-merge-queue bot
November 8, 2024 23:56 1m 27s gh-readonly-queue/main/pr-3699-8400296f5280be4f99820129bc66447e8dff63f4
gh-readonly-queue/main/pr-3699-8400296f5280be4f99820129bc66447e8dff63f4
November 8, 2024 23:56 1m 27s
Cargo Deny Cargo Deny #978: Merge group checks requested
November 8, 2024 23:56 1m 22s
November 8, 2024 23:56 1m 22s
Remove CBMC viewer and visualize option Cargo Deny #977: Pull request #3699 synchronize by zhassan-aws
November 8, 2024 22:48 1m 10s zhassan-aws:delete-viewer
zhassan-aws:delete-viewer
November 8, 2024 22:48 1m 10s
Remove CBMC viewer and visualize option Cargo Deny #976: Pull request #3699 opened by zhassan-aws
November 8, 2024 22:46 1m 17s zhassan-aws:delete-viewer
zhassan-aws:delete-viewer
November 8, 2024 22:46 1m 17s
Turn clause to contract Cargo Deny #975: Pull request #3698 opened by jaisnan
November 8, 2024 20:06 1m 38s jaisnan:turn-clause-to-contract
jaisnan:turn-clause-to-contract
November 8, 2024 20:06 1m 38s
Remove redundant comments Cargo Deny #974: Commit 187d9ce pushed by jaisnan
November 8, 2024 20:05 1m 22s turn-clause-to-contract
turn-clause-to-contract
November 8, 2024 20:05 1m 22s
Remove prints Cargo Deny #973: Commit e2891d2 pushed by jaisnan
November 8, 2024 19:56 1m 16s turn-clause-to-contract
turn-clause-to-contract
November 8, 2024 19:56 1m 16s
Add assert and function body Cargo Deny #972: Commit 407ee44 pushed by jaisnan
November 8, 2024 13:53 1m 18s turn-clause-to-contract
turn-clause-to-contract
November 8, 2024 13:53 1m 18s
Apply loop contracts only if there exists some usage (#3694) Cargo Deny #971: Commit 8400296 pushed by github-merge-queue bot
November 8, 2024 02:48 1m 13s main
main
November 8, 2024 02:48 1m 13s
Cargo Deny Cargo Deny #970: Merge group checks requested
November 8, 2024 01:49 1m 19s
November 8, 2024 01:49 1m 19s
Apply loop contracts only if there exists some usage (#3694) Cargo Deny #969: Commit 8400296 pushed by github-merge-queue bot
November 8, 2024 01:49 1m 24s gh-readonly-queue/main/pr-3694-029ad888c0790b835402a4c4195b6b6a42577aa1
gh-readonly-queue/main/pr-3694-029ad888c0790b835402a4c4195b6b6a42577aa1
November 8, 2024 01:49 1m 24s
Cargo Deny Cargo Deny #968: Merge group checks requested
November 8, 2024 01:38 1m 42s
November 8, 2024 01:38 1m 42s
Remove symtab json support (#3695) Cargo Deny #967: Commit 029ad88 pushed by github-merge-queue bot
November 8, 2024 01:38 1m 23s gh-readonly-queue/main/pr-3695-9b2bbd38ad4cbd1f4aa662b5bf308bae90bb9c70
gh-readonly-queue/main/pr-3695-9b2bbd38ad4cbd1f4aa662b5bf308bae90bb9c70
November 8, 2024 01:38 1m 23s
Apply loop contracts only if there exists some usage Cargo Deny #966: Pull request #3694 synchronize by qinheping
November 8, 2024 00:51 1m 13s qinheping:loop_contracts_with_free
qinheping:loop_contracts_with_free
November 8, 2024 00:51 1m 13s
Remove symtab json support Cargo Deny #965: Pull request #3695 opened by celinval
November 8, 2024 00:51 1m 45s celinval:issue-xxxx-symtab-json
celinval:issue-xxxx-symtab-json
November 8, 2024 00:51 1m 45s
Apply loop contracts only if there exists some usage Cargo Deny #964: Pull request #3694 synchronize by qinheping
November 7, 2024 23:50 1m 11s qinheping:loop_contracts_with_free
qinheping:loop_contracts_with_free
November 7, 2024 23:50 1m 11s