Skip to content

Actions: model-checking/kani

Actions

Cargo Deny

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deny.yml
1,718 workflow runs
1,718 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

remove flag float-overflow-check Cargo Deny #1679: Pull request #3873 opened by rajath-mk
February 4, 2025 18:15 1m 27s rajath-mk:main
rajath-mk:main
February 4, 2025 18:15 1m 27s
Automatic cargo update to 2025-02-03 (#3869) Cargo Deny #1678: Commit b29868a pushed by github-merge-queue bot
February 3, 2025 20:32 1m 38s main
main
February 3, 2025 20:32 1m 38s
Cargo Deny Cargo Deny #1677: Merge group checks requested
February 3, 2025 19:24 1m 17s
February 3, 2025 19:24 1m 17s
Automatic cargo update to 2025-02-03 (#3869) Cargo Deny #1676: Commit b29868a pushed by github-merge-queue bot
February 3, 2025 19:24 1m 17s gh-readonly-queue/main/pr-3869-9872f12a1cf7cf4833e5e198d393415de3739b21
gh-readonly-queue/main/pr-3869-9872f12a1cf7cf4833e5e198d393415de3739b21
February 3, 2025 19:24 1m 17s
Bump tests/perf/s2n-quic from 4500593 to 82dd0b5 (#3872) Cargo Deny #1675: Commit 9872f12 pushed by github-merge-queue bot
February 3, 2025 19:15 1m 24s main
main
February 3, 2025 19:15 1m 24s
Bump tests/perf/s2n-quic from 4500593 to 82dd0b5 (#3872) Cargo Deny #1674: Commit 9872f12 pushed by github-merge-queue bot
February 3, 2025 18:00 1m 30s gh-readonly-queue/main/pr-3872-edb1173c76eaabfe3d8f014e39c22edfe09d7fe7
gh-readonly-queue/main/pr-3872-edb1173c76eaabfe3d8f014e39c22edfe09d7fe7
February 3, 2025 18:00 1m 30s
Cargo Deny Cargo Deny #1673: Merge group checks requested
February 3, 2025 18:00 1m 15s
February 3, 2025 18:00 1m 15s
Automatic cargo update to 2025-02-03 Cargo Deny #1672: Pull request #3869 reopened by zhassan-aws
February 3, 2025 17:21 1m 6s cargo-update-2025-02-03
cargo-update-2025-02-03
February 3, 2025 17:21 1m 6s
Bump tests/perf/s2n-quic from 4500593 to 82dd0b5 Cargo Deny #1671: Pull request #3872 opened by dependabot bot
February 3, 2025 16:59 3m 5s dependabot/submodules/tests/perf/s2n-quic-82dd0b5
dependabot/submodules/tests/perf/s2n-quic-82dd0b5
February 3, 2025 16:59 3m 5s
Bump tests/perf/s2n-quic from 4500593 to 82dd0b5 Cargo Deny #1670: Commit ae8cd1a pushed by dependabot bot
February 3, 2025 16:59 1m 43s dependabot/submodules/tests/perf/s2n-quic-82dd0b5
dependabot/submodules/tests/perf/s2n-quic-82dd0b5
February 3, 2025 16:59 1m 43s
Add support for quantifiers Cargo Deny #1669: Pull request #3737 synchronize by feliperodri
February 2, 2025 18:56 1m 25s feliperodri:quantifiers
feliperodri:quantifiers
February 2, 2025 18:56 1m 25s
Update the rustc hack for CLion / RustRover (#3868) Cargo Deny #1668: Commit edb1173 pushed by github-merge-queue bot
January 31, 2025 23:06 1m 6s main
main
January 31, 2025 23:06 1m 6s
Cargo Deny Cargo Deny #1667: Merge group checks requested
January 31, 2025 22:00 1m 17s
January 31, 2025 22:00 1m 17s
Update the rustc hack for CLion / RustRover (#3868) Cargo Deny #1666: Commit edb1173 pushed by github-merge-queue bot
January 31, 2025 22:00 1m 20s gh-readonly-queue/main/pr-3868-afd0469fa1f41b838037c1a961b1ef18642de48e
gh-readonly-queue/main/pr-3868-afd0469fa1f41b838037c1a961b1ef18642de48e
January 31, 2025 22:00 1m 20s
Update the rustc hack for CLion / RustRover Cargo Deny #1665: Pull request #3868 opened by celinval
January 31, 2025 20:46 1m 16s celinval:chores-rustc-hack
celinval:chores-rustc-hack
January 31, 2025 20:46 1m 16s
Analyze unsafe code reachability Cargo Deny #1664: Pull request #3546 synchronize by celinval
January 31, 2025 20:43 1m 17s celinval:issue-xxxx-transitive-scan
celinval:issue-xxxx-transitive-scan
January 31, 2025 20:43 1m 17s
Remove symtab2gb from bundle (#3865) Cargo Deny #1663: Commit afd0469 pushed by github-merge-queue bot
January 30, 2025 11:51 1m 42s main
main
January 30, 2025 11:51 1m 42s
Remove symtab2gb from bundle (#3865) Cargo Deny #1662: Commit afd0469 pushed by github-merge-queue bot
January 30, 2025 10:32 1m 10s gh-readonly-queue/main/pr-3865-5024b631d83c6b20a6e45f1b9ba7c6f51bf3e4b6
gh-readonly-queue/main/pr-3865-5024b631d83c6b20a6e45f1b9ba7c6f51bf3e4b6
January 30, 2025 10:32 1m 10s
Cargo Deny Cargo Deny #1661: Merge group checks requested
January 30, 2025 10:32 1m 8s
January 30, 2025 10:32 1m 8s
Remove symtab2gb from bundle Cargo Deny #1660: Pull request #3865 synchronize by zhassan-aws
January 30, 2025 06:45 1m 26s zhassan-aws:remove-symtab2gb
zhassan-aws:remove-symtab2gb
January 30, 2025 06:45 1m 26s
Remove symtab2gb from bundle Cargo Deny #1659: Pull request #3865 opened by zhassan-aws
January 30, 2025 06:43 1m 28s zhassan-aws:remove-symtab2gb
zhassan-aws:remove-symtab2gb
January 30, 2025 06:43 1m 28s
Fix transmute codegen when sizes are different (#3861) Cargo Deny #1658: Commit 5024b63 pushed by github-merge-queue bot
January 29, 2025 20:09 1m 11s main
main
January 29, 2025 20:09 1m 11s
Fix transmute codegen when sizes are different (#3861) Cargo Deny #1657: Commit 5024b63 pushed by github-merge-queue bot
January 29, 2025 19:02 1m 14s gh-readonly-queue/main/pr-3861-53013f35d8a78db685e2ce6cf95b0146df148ecb
gh-readonly-queue/main/pr-3861-53013f35d8a78db685e2ce6cf95b0146df148ecb
January 29, 2025 19:02 1m 14s
Cargo Deny Cargo Deny #1656: Merge group checks requested
January 29, 2025 19:02 1m 17s
January 29, 2025 19:02 1m 17s
Fix transmute codegen when sizes are different Cargo Deny #1655: Pull request #3861 synchronize by celinval
January 29, 2025 18:11 1m 28s celinval:issue-3839-transmute
celinval:issue-3839-transmute
January 29, 2025 18:11 1m 28s