Skip to content

Actions: tautschnig/kani

Actions

Cargo Deny

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
53 workflow runs
53 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update docs/src/demonic-nondet.md Cargo Deny #53: Commit 9f0075b pushed by tautschnig
February 18, 2025 16:41 1m 14s doc-demonic-nondet
doc-demonic-nondet
February 18, 2025 16:41 1m 14s
Update rfc/src/rfcs/0014-may-panic-if-attr.md Cargo Deny #52: Commit 398e9cf pushed by tautschnig
February 18, 2025 16:19 1m 16s rfc-may-panic
rfc-may-panic
February 18, 2025 16:19 1m 16s
Document demonic non-determinism Cargo Deny #51: Commit d26359d pushed by tautschnig
February 18, 2025 13:56 1m 15s doc-demonic-nondet
doc-demonic-nondet
February 18, 2025 13:56 1m 15s
Add failure description Cargo Deny #50: Commit 9c12d79 pushed by tautschnig
February 18, 2025 10:34 13m 11s audit-property-class
audit-property-class
February 18, 2025 10:34 13m 11s
Apply suggestions from code review Cargo Deny #49: Commit e711bb8 pushed by tautschnig
February 18, 2025 10:28 9m 25s audit-property-class
audit-property-class
February 18, 2025 10:28 9m 25s
Fix item 2 Cargo Deny #48: Commit f75f27a pushed by tautschnig
February 18, 2025 10:24 14m 12s rfc-may-panic
rfc-may-panic
February 18, 2025 10:24 14m 12s
Apply suggestions from code review Cargo Deny #47: Commit 600d95a pushed by tautschnig
February 18, 2025 10:13 1m 28s rfc-may-panic
rfc-may-panic
February 18, 2025 10:13 1m 28s
RFC: Attribute to distinguish safety preconditions from panic freedom Cargo Deny #46: Commit 673f679 pushed by tautschnig
February 17, 2025 15:32 1m 18s rfc-may-panic
rfc-may-panic
February 17, 2025 15:32 1m 18s
Clippy Cargo Deny #45: Commit 0cf1798 pushed by tautschnig
February 13, 2025 00:57 1m 16s audit-property-class
audit-property-class
February 13, 2025 00:57 1m 16s
Merge remote-tracking branch 'origin/main' into audit-property-class Cargo Deny #44: Commit 4c11cdc pushed by tautschnig
February 13, 2025 00:46 1m 8s audit-property-class
audit-property-class
February 13, 2025 00:46 1m 8s
Rewire MIR-level checks to safety or "unsupported" checks Cargo Deny #43: Commit 4c7f6c5 pushed by tautschnig
February 12, 2025 20:40 1m 34s audit-property-class
audit-property-class
February 12, 2025 20:40 1m 34s
Fix missing files Cargo Deny #42: Commit 0dec9b3 pushed by tautschnig
January 28, 2025 15:53 1m 14s audit-property-class
audit-property-class
January 28, 2025 15:53 1m 14s
Add copyright Cargo Deny #41: Commit 136dd83 pushed by tautschnig
January 28, 2025 14:54 1m 11s audit-property-class
audit-property-class
January 28, 2025 14:54 1m 11s
Adjust PropertyClass of assertions to identify UB Cargo Deny #40: Commit 756d938 pushed by tautschnig
January 28, 2025 14:36 1m 25s audit-property-class
audit-property-class
January 28, 2025 14:36 1m 25s
Merge remote-tracking branch 'origin/main' into enable-post_condition Cargo Deny #39: Commit fd126f6 pushed by tautschnig
January 22, 2025 15:53 1m 21s enable-post_condition
enable-post_condition
January 22, 2025 15:53 1m 21s
Fix syntax and expected output Cargo Deny #38: Commit cf697f7 pushed by tautschnig
January 22, 2025 12:40 1m 18s enable-post_condition
enable-post_condition
January 22, 2025 12:40 1m 18s
Update toolchain to 2025-01-22 Cargo Deny #37: Commit 449449e pushed by tautschnig
January 22, 2025 12:12 1m 13s toolchain-2025-01-17-manual
toolchain-2025-01-17-manual
January 22, 2025 12:12 1m 13s
Enable valid_ptr post_condition harnesses Cargo Deny #36: Commit ed261e3 pushed by tautschnig
January 22, 2025 11:32 1m 46s enable-post_condition
enable-post_condition
January 22, 2025 11:32 1m 46s
Update toolchain to 2025-01-20 Cargo Deny #35: Commit 7ad1392 pushed by tautschnig
January 20, 2025 13:30 1m 8s toolchain-2025-01-17-manual
toolchain-2025-01-17-manual
January 20, 2025 13:30 1m 8s
Update to 2025-01-19 Cargo Deny #34: Commit 5d931d2 pushed by tautschnig
January 20, 2025 13:07 1m 23s toolchain-2025-01-17-manual
toolchain-2025-01-17-manual
January 20, 2025 13:07 1m 23s
Upgrade toolchain to nightly-2025-01-17 Cargo Deny #33: Commit f49d76b pushed by tautschnig
January 20, 2025 11:35 1m 44s toolchain-2025-01-17-manual
toolchain-2025-01-17-manual
January 20, 2025 11:35 1m 44s
setup symlink Cargo Deny #32: Commit 2ca4a31 pushed by tautschnig
January 17, 2025 11:10 1m 23s arm-ci
arm-ci
January 17, 2025 11:10 1m 23s
Enable GitHub Linux/Arm runners in CI Cargo Deny #31: Commit db88e5f pushed by tautschnig
January 17, 2025 10:50 1m 29s arm-ci
arm-ci
January 17, 2025 10:50 1m 29s
Upgrade toolchain to 2025-01-15 Cargo Deny #30: Commit b8d8e75 pushed by tautschnig
January 15, 2025 14:56 1m 22s toolchain-2025-01-14-manual
toolchain-2025-01-14-manual
January 15, 2025 14:56 1m 22s
Package Docker release step: ensure compiler is installed Cargo Deny #29: Commit 7b43eed pushed by tautschnig
December 17, 2024 14:10 1m 38s fix-docker
fix-docker
December 17, 2024 14:10 1m 38s