Skip to content

Actions: tautschnig/kani

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,797 workflow run results
1,797 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update toolchain to 2024-09-23 (#3544) Kani Format Check #442: Commit eab5096 pushed by tautschnig
September 26, 2024 09:05 3m 53s toolchain-2024-09-26-manual
toolchain-2024-09-26-manual
September 26, 2024 09:05 3m 53s
Nightly: Slow tests Nightly: Slow tests #431: Scheduled
September 26, 2024 05:37 8m 14s main
main
September 26, 2024 05:37 8m 14s
Attempt toolchain update Attempt toolchain update #685: Scheduled
September 26, 2024 03:00 2m 12s main
main
September 26, 2024 03:00 2m 12s
Nightly: CBMC Latest Nightly: CBMC Latest #428: Scheduled
September 25, 2024 09:19 51m 7s main
main
September 25, 2024 09:19 51m 7s
Nightly: Slow tests Nightly: Slow tests #430: Scheduled
September 25, 2024 05:37 10m 2s main
main
September 25, 2024 05:37 10m 2s
Attempt toolchain update Attempt toolchain update #684: Scheduled
September 25, 2024 03:02 2m 5s main
main
September 25, 2024 03:02 2m 5s
Toolchain of 24th is ICEs in doc build Kani Format Check #441: Commit 0605e85 pushed by tautschnig
September 24, 2024 11:13 3m 33s toolchain-2024-09-21-manual
toolchain-2024-09-21-manual
September 24, 2024 11:13 3m 33s
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
Toolchain of 24th is ICEs in doc build Kani CI #441: Commit 0605e85 pushed by tautschnig
September 24, 2024 11:13 39m 24s toolchain-2024-09-21-manual
toolchain-2024-09-21-manual
September 24, 2024 11:13 39m 24s
Silence warnings about mutable reference to mutable static Kani Format Check #440: Commit 7fbbc48 pushed by tautschnig
September 24, 2024 11:00 3m 38s toolchain-2024-09-21-manual
toolchain-2024-09-21-manual
September 24, 2024 11:00 3m 38s
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
Silence warnings about mutable reference to mutable static Kani CI #440: Commit 7fbbc48 pushed by tautschnig
September 24, 2024 11:00 54m 53s toolchain-2024-09-21-manual
toolchain-2024-09-21-manual
September 24, 2024 11:00 54m 53s
Update toolchain to 2024-09-24 Kani Format Check #439: Commit b74a220 pushed by tautschnig
September 24, 2024 10:17 2m 57s toolchain-2024-09-21-manual
toolchain-2024-09-21-manual
September 24, 2024 10:17 2m 57s
Update toolchain to 2024-09-24 Kani CI #439: Commit b74a220 pushed by tautschnig
September 24, 2024 10:17 52m 30s toolchain-2024-09-21-manual
toolchain-2024-09-21-manual
September 24, 2024 10:17 52m 30s
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
Nightly: CBMC Latest Nightly: CBMC Latest #427: Scheduled
September 24, 2024 09:19 33m 4s main
main
September 24, 2024 09:19 33m 4s
Nightly: Slow tests Nightly: Slow tests #429: Scheduled
September 24, 2024 05:37 8m 51s main
main
September 24, 2024 05:37 8m 51s
Attempt toolchain update Attempt toolchain update #683: Scheduled
September 24, 2024 02:59 58s main
main
September 24, 2024 02:59 58s
Merge remote-tracking branch 'origin/main' into toolchain-2024-09-18-… Kani Format Check #438: Commit 664f35a pushed by tautschnig
September 23, 2024 18:36 4m 2s toolchain-2024-09-18-manual
toolchain-2024-09-18-manual
September 23, 2024 18:36 4m 2s
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
Merge remote-tracking branch 'origin/main' into toolchain-2024-09-18-… Kani CI #438: Commit 664f35a pushed by tautschnig
September 23, 2024 18:36 42m 2s toolchain-2024-09-18-manual
toolchain-2024-09-18-manual
September 23, 2024 18:36 42m 2s
Use ./ Kani CI #437: Commit 99ce174 pushed by tautschnig
September 23, 2024 13:28 48m 14s cbmc-6.3.1
cbmc-6.3.1
September 23, 2024 13:28 48m 14s
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
Use ./ Kani Format Check #437: Commit 99ce174 pushed by tautschnig
September 23, 2024 13:28 2m 24s cbmc-6.3.1
cbmc-6.3.1
September 23, 2024 13:28 2m 24s
Address warning Kani CI #436: Commit 7c248d1 pushed by tautschnig
September 23, 2024 13:27 41m 58s toolchain-2024-09-18-manual
toolchain-2024-09-18-manual
September 23, 2024 13:27 41m 58s