Skip to content

Actions: tautschnig/kani

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
323 workflow run results
323 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nightly: CBMC Latest Nightly: CBMC Latest #144: Scheduled
December 16, 2023 09:13 1h 5m 39s main
main
December 16, 2023 09:13 1h 5m 39s
Nightly: Slow tests Nightly: Slow tests #146: Scheduled
December 16, 2023 05:33 13m 15s main
main
December 16, 2023 05:33 13m 15s
Attempt toolchain update Attempt toolchain update #400: Scheduled
December 16, 2023 02:36 2m 14s main
main
December 16, 2023 02:36 2m 14s
Nightly: CBMC Latest Nightly: CBMC Latest #143: Scheduled
December 15, 2023 09:15 1h 7m 59s main
main
December 15, 2023 09:15 1h 7m 59s
Nightly: Slow tests Nightly: Slow tests #145: Scheduled
December 15, 2023 05:32 9m 8s main
main
December 15, 2023 05:32 9m 8s
Attempt toolchain update Attempt toolchain update #399: Scheduled
December 15, 2023 02:40 2m 42s main
main
December 15, 2023 02:40 2m 42s
Merge branch 'main' into auto-cargo-update Kani Format Check #227: Commit 78a1ca2 pushed by tautschnig
December 14, 2023 19:08 3m 2s auto-cargo-update
auto-cargo-update
December 14, 2023 19:08 3m 2s
Merge branch 'main' into auto-cargo-update Cargo Audit #228: Commit 78a1ca2 pushed by tautschnig
December 14, 2023 19:08 1m 2s auto-cargo-update
auto-cargo-update
December 14, 2023 19:08 1m 2s
Merge branch 'main' into auto-cargo-update Kani CI #227: Commit 78a1ca2 pushed by tautschnig
December 14, 2023 19:08 31m 59s auto-cargo-update
auto-cargo-update
December 14, 2023 19:08 31m 59s
Nightly: CBMC Latest Nightly: CBMC Latest #142: Scheduled
December 14, 2023 09:14 47m 53s main
main
December 14, 2023 09:14 47m 53s
Nightly: Slow tests Nightly: Slow tests #144: Scheduled
December 14, 2023 05:32 7m 2s main
main
December 14, 2023 05:32 7m 2s
Attempt toolchain update Attempt toolchain update #398: Scheduled
December 14, 2023 02:38 1m 10s main
main
December 14, 2023 02:38 1m 10s
Automate cargo update without dependabot Kani CI #226: Commit 56df656 pushed by tautschnig
December 13, 2023 22:36 29m 9s auto-cargo-update
auto-cargo-update
December 13, 2023 22:36 29m 9s
Automate cargo update without dependabot Kani Format Check #226: Commit 56df656 pushed by tautschnig
December 13, 2023 22:36 3m 12s auto-cargo-update
auto-cargo-update
December 13, 2023 22:36 3m 12s
Automate cargo update without dependabot Cargo Audit #227: Commit 56df656 pushed by tautschnig
December 13, 2023 22:36 1m 2s auto-cargo-update
auto-cargo-update
December 13, 2023 22:36 1m 2s
Nightly: CBMC Latest Nightly: CBMC Latest #141: Scheduled
December 13, 2023 09:14 43m 2s main
main
December 13, 2023 09:14 43m 2s
Nightly: Slow tests Nightly: Slow tests #143: Scheduled
December 13, 2023 05:32 10m 25s main
main
December 13, 2023 05:32 10m 25s
Attempt toolchain update Attempt toolchain update #397: Scheduled
December 13, 2023 02:39 1m 14s main
main
December 13, 2023 02:39 1m 14s
Nightly: CBMC Latest Nightly: CBMC Latest #140: Scheduled
December 12, 2023 09:14 1h 2m 53s main
main
December 12, 2023 09:14 1h 2m 53s
Nightly: Slow tests Nightly: Slow tests #142: Scheduled
December 12, 2023 05:32 6m 49s main
main
December 12, 2023 05:32 6m 49s
Attempt toolchain update Attempt toolchain update #396: Scheduled
December 12, 2023 02:39 2m 6s main
main
December 12, 2023 02:39 2m 6s
Nightly: CBMC Latest Nightly: CBMC Latest #139: Scheduled
December 11, 2023 09:16 48m 45s main
main
December 11, 2023 09:16 48m 45s
Nightly: Slow tests Nightly: Slow tests #141: Scheduled
December 11, 2023 05:32 8m 13s main
main
December 11, 2023 05:32 8m 13s
Attempt toolchain update Attempt toolchain update #395: Scheduled
December 11, 2023 02:39 1m 19s main
main
December 11, 2023 02:39 1m 19s
Nightly: CBMC Latest Nightly: CBMC Latest #138: Scheduled
December 10, 2023 09:12 46m 49s main
main
December 10, 2023 09:12 46m 49s