Skip to content

Actions: tautschnig/kani

Actions

Cargo Deny

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
10 workflow run results
10 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update toolchain to 2024-09-23 (#3544) Cargo Deny #10: Commit eab5096 pushed by tautschnig
September 26, 2024 09:05 1m 34s toolchain-2024-09-26-manual
toolchain-2024-09-26-manual
September 26, 2024 09:05 1m 34s
Toolchain of 24th is ICEs in doc build Cargo Deny #9: Commit 0605e85 pushed by tautschnig
September 24, 2024 11:13 1m 28s toolchain-2024-09-21-manual
toolchain-2024-09-21-manual
September 24, 2024 11:13 1m 28s
Silence warnings about mutable reference to mutable static Cargo Deny #8: Commit 7fbbc48 pushed by tautschnig
September 24, 2024 11:00 1m 14s toolchain-2024-09-21-manual
toolchain-2024-09-21-manual
September 24, 2024 11:00 1m 14s
Update toolchain to 2024-09-24 Cargo Deny #7: Commit b74a220 pushed by tautschnig
September 24, 2024 10:17 1m 13s toolchain-2024-09-21-manual
toolchain-2024-09-21-manual
September 24, 2024 10:17 1m 13s
Merge remote-tracking branch 'origin/main' into toolchain-2024-09-18-… Cargo Deny #6: Commit 664f35a pushed by tautschnig
September 23, 2024 18:36 1m 47s toolchain-2024-09-18-manual
toolchain-2024-09-18-manual
September 23, 2024 18:36 1m 47s
Use ./ Cargo Deny #5: Commit 99ce174 pushed by tautschnig
September 23, 2024 13:28 1m 52s cbmc-6.3.1
cbmc-6.3.1
September 23, 2024 13:28 1m 52s
Address warning Cargo Deny #4: Commit 7c248d1 pushed by tautschnig
September 23, 2024 13:27 1m 11s toolchain-2024-09-18-manual
toolchain-2024-09-18-manual
September 23, 2024 13:27 1m 11s
Update toolchain to 2024-09-20 Cargo Deny #3: Commit cf75434 pushed by tautschnig
September 23, 2024 13:19 1m 43s toolchain-2024-09-18-manual
toolchain-2024-09-18-manual
September 23, 2024 13:19 1m 43s
Update to CBMC 6.3.1 and fix auto-update script Cargo Deny #2: Commit aa8920d pushed by tautschnig
September 23, 2024 10:33 1m 1s cbmc-6.3.1
cbmc-6.3.1
September 23, 2024 10:33 1m 1s
Adjust test patterns so as not to check for trivial properties Cargo Deny #1: Commit 8814d67 pushed by tautschnig
August 27, 2024 07:54 1m 7s adjust-for-cbmc-changes
adjust-for-cbmc-changes
August 27, 2024 07:54 1m 7s