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

Adjust PropertyClass of assertions to identify UB Cargo Deny #1629: Pull request #3860 synchronize by tautschnig
January 28, 2025 15:54 1m 12s tautschnig:audit-property-class
tautschnig:audit-property-class
January 28, 2025 15:54 1m 12s
Adjust PropertyClass of assertions to identify UB Cargo Deny #1628: Pull request #3860 synchronize by tautschnig
January 28, 2025 14:54 1m 10s tautschnig:audit-property-class
tautschnig:audit-property-class
January 28, 2025 14:54 1m 10s
Adjust PropertyClass of assertions to identify UB Cargo Deny #1627: Pull request #3860 opened by tautschnig
January 28, 2025 14:36 1m 35s tautschnig:audit-property-class
tautschnig:audit-property-class
January 28, 2025 14:36 1m 35s
Stub linker to avoid missing symbols errors (#3858) Cargo Deny #1626: Commit bc134ce pushed by github-merge-queue bot
January 28, 2025 02:58 1m 17s main
main
January 28, 2025 02:58 1m 17s
Deprecate --enable-unstable and --restrict-vtable (#3859) Cargo Deny #1625: Commit 20998ef pushed by github-merge-queue bot
January 28, 2025 02:48 1m 10s main
main
January 28, 2025 02:48 1m 10s
Cargo Deny Cargo Deny #1624: Merge group checks requested
January 28, 2025 01:58 1m 43s
January 28, 2025 01:58 1m 43s
Stub linker to avoid missing symbols errors (#3858) Cargo Deny #1623: Commit bc134ce pushed by github-merge-queue bot
January 28, 2025 01:58 1m 18s gh-readonly-queue/main/pr-3858-20998ef618043c36507d2c20cc2e9eb762cc360d
gh-readonly-queue/main/pr-3858-20998ef618043c36507d2c20cc2e9eb762cc360d
January 28, 2025 01:58 1m 18s
Deprecate --enable-unstable and --restrict-vtable (#3859) Cargo Deny #1622: Commit 20998ef pushed by github-merge-queue bot
January 28, 2025 01:53 1m 47s gh-readonly-queue/main/pr-3859-724054576971f9bee079313bd90a3b20e259ac1b
gh-readonly-queue/main/pr-3859-724054576971f9bee079313bd90a3b20e259ac1b
January 28, 2025 01:53 1m 47s
Cargo Deny Cargo Deny #1621: Merge group checks requested
January 28, 2025 01:53 1m 23s
January 28, 2025 01:53 1m 23s
Deprecate --enable-unstable and --restrict-vtable Cargo Deny #1620: Pull request #3859 opened by celinval
January 27, 2025 23:38 1m 16s celinval:issue-2279-rm-enable-unstable
celinval:issue-2279-rm-enable-unstable
January 27, 2025 23:38 1m 16s
Stub linker to avoid missing symbols errors Cargo Deny #1619: Pull request #3858 opened by celinval
January 27, 2025 23:20 1m 18s celinval:issue-3817-stub-linker
celinval:issue-3817-stub-linker
January 27, 2025 23:20 1m 18s
Automatic cargo update to 2025-01-27 (#3856) Cargo Deny #1618: Commit 7240545 pushed by github-merge-queue bot
January 27, 2025 20:03 1m 26s main
main
January 27, 2025 20:03 1m 26s
Toolchain upgrade to nightly-2025-01-28 Cargo Deny #1617: Pull request #3855 synchronize by feliperodri
January 27, 2025 20:00 1m 27s feliperodri:toolchain-upgrade
feliperodri:toolchain-upgrade
January 27, 2025 20:00 1m 27s
Bump tests/perf/s2n-quic from f0649f9 to 4500593 (#3857) Cargo Deny #1616: Commit 10b1426 pushed by github-merge-queue bot
January 27, 2025 19:12 1m 14s main
main
January 27, 2025 19:12 1m 14s
Cargo Deny Cargo Deny #1615: Merge group checks requested
January 27, 2025 19:10 1m 37s
January 27, 2025 19:10 1m 37s
Automatic cargo update to 2025-01-27 (#3856) Cargo Deny #1614: Commit 7240545 pushed by github-merge-queue bot
January 27, 2025 19:10 1m 38s gh-readonly-queue/main/pr-3856-10b14262fa534ec6ea9f58d38240b06c60948664
gh-readonly-queue/main/pr-3856-10b14262fa534ec6ea9f58d38240b06c60948664
January 27, 2025 19:10 1m 38s
Automatic cargo update to 2025-01-27 Cargo Deny #1613: Pull request #3856 reopened by zhassan-aws
January 27, 2025 18:12 1m 52s cargo-update-2025-01-27
cargo-update-2025-01-27
January 27, 2025 18:12 1m 52s
Cargo Deny Cargo Deny #1612: Merge group checks requested
January 27, 2025 18:09 1m 38s
January 27, 2025 18:09 1m 38s
Bump tests/perf/s2n-quic from f0649f9 to 4500593 (#3857) Cargo Deny #1611: Commit 10b1426 pushed by github-merge-queue bot
January 27, 2025 18:09 1m 39s gh-readonly-queue/main/pr-3857-e09095b34e0f881d2a4b8d7ad40b735710ec0110
gh-readonly-queue/main/pr-3857-e09095b34e0f881d2a4b8d7ad40b735710ec0110
January 27, 2025 18:09 1m 39s
Toolchain upgrade to nightly-2025-01-28 Cargo Deny #1610: Pull request #3855 synchronize by feliperodri
January 27, 2025 17:41 1m 58s feliperodri:toolchain-upgrade
feliperodri:toolchain-upgrade
January 27, 2025 17:41 1m 58s
Bump tests/perf/s2n-quic from f0649f9 to 4500593 Cargo Deny #1609: Pull request #3857 opened by dependabot bot
January 27, 2025 16:58 1m 46s dependabot/submodules/tests/perf/s2n-quic-4500593
dependabot/submodules/tests/perf/s2n-quic-4500593
January 27, 2025 16:58 1m 46s
Bump tests/perf/s2n-quic from f0649f9 to 4500593 Cargo Deny #1608: Commit ce63f8e pushed by dependabot bot
January 27, 2025 16:58 1m 51s dependabot/submodules/tests/perf/s2n-quic-4500593
dependabot/submodules/tests/perf/s2n-quic-4500593
January 27, 2025 16:58 1m 51s
Toolchain upgrade to nightly-2025-01-28 Cargo Deny #1607: Pull request #3855 opened by feliperodri
January 26, 2025 21:56 1m 4s feliperodri:toolchain-upgrade
feliperodri:toolchain-upgrade
January 26, 2025 21:56 1m 4s
Fix validity checks for char (#3853) Cargo Deny #1606: Commit e09095b pushed by github-merge-queue bot
January 25, 2025 07:17 1m 24s main
main
January 25, 2025 07:17 1m 24s
Cargo Deny Cargo Deny #1605: Merge group checks requested
January 25, 2025 06:23 2m 15s
January 25, 2025 06:23 2m 15s