Skip to content

Actions: tautschnig/kani

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,169 workflow runs
2,169 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nightly: CBMC Latest Nightly: CBMC Latest #512: Scheduled
December 18, 2024 09:20 33m 0s main
main
December 18, 2024 09:20 33m 0s
Nightly: Slow tests Nightly: Slow tests #514: Scheduled
December 18, 2024 05:37 5m 38s main
main
December 18, 2024 05:37 5m 38s
Attempt toolchain update Attempt toolchain update #768: Scheduled
December 18, 2024 03:06 3m 31s main
main
December 18, 2024 03:06 3m 31s
Package Docker release step: ensure compiler is installed Kani Format Check #461: Commit 7b43eed pushed by tautschnig
December 17, 2024 14:10 3m 21s fix-docker
fix-docker
December 17, 2024 14:10 3m 21s
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
Package Docker release step: ensure compiler is installed Kani CI #461: Commit 7b43eed pushed by tautschnig
December 17, 2024 14:10 1h 3m 16s fix-docker
fix-docker
December 17, 2024 14:10 1h 3m 16s
Nightly: CBMC Latest Nightly: CBMC Latest #511: Scheduled
December 17, 2024 09:21 33m 11s main
main
December 17, 2024 09:21 33m 11s
Nightly: Slow tests Nightly: Slow tests #513: Scheduled
December 17, 2024 05:38 5m 29s main
main
December 17, 2024 05:38 5m 29s
Attempt toolchain update Attempt toolchain update #767: Scheduled
December 17, 2024 03:11 59s main
main
December 17, 2024 03:11 59s
2024-12-15 Kani Format Check #460: Commit a05af0c pushed by tautschnig
December 16, 2024 21:04 3m 50s fixup-changelog
fixup-changelog
December 16, 2024 21:04 3m 50s
2024-12-15 Cargo Deny #28: Commit a05af0c pushed by tautschnig
December 16, 2024 21:04 1m 16s fixup-changelog
fixup-changelog
December 16, 2024 21:04 1m 16s
2024-12-15 Kani CI #460: Commit a05af0c pushed by tautschnig
December 16, 2024 21:04 52m 6s fixup-changelog
fixup-changelog
December 16, 2024 21:04 52m 6s
Fix toolchain version in 0.57.0 CHANGELOG Kani CI #459: Commit 263810f pushed by tautschnig
December 16, 2024 19:38 57m 56s fixup-changelog
fixup-changelog
December 16, 2024 19:38 57m 56s
Fix toolchain version in 0.57.0 CHANGELOG Kani Format Check #459: Commit 263810f pushed by tautschnig
December 16, 2024 19:38 3m 31s fixup-changelog
fixup-changelog
December 16, 2024 19:38 3m 31s
Fix toolchain version in 0.57.0 CHANGELOG Cargo Deny #27: Commit 263810f pushed by tautschnig
December 16, 2024 19:38 1m 13s fixup-changelog
fixup-changelog
December 16, 2024 19:38 1m 13s
Apply suggested cleanup Kani Format Check #458: Commit 116d3d1 pushed by tautschnig
December 16, 2024 15:09 40m 34s release-kani-0.57.0
release-kani-0.57.0
December 16, 2024 15:09 40m 34s
Apply suggested cleanup Cargo Deny #26: Commit 116d3d1 pushed by tautschnig
December 16, 2024 15:09 41m 44s release-kani-0.57.0
release-kani-0.57.0
December 16, 2024 15:09 41m 44s
Apply suggested cleanup Kani CI #458: Commit 116d3d1 pushed by tautschnig
December 16, 2024 15:09 2h 52m 0s release-kani-0.57.0
release-kani-0.57.0
December 16, 2024 15:09 2h 52m 0s
Update CHANGELOG.md Kani CI #457: Commit b3c8301 pushed by tautschnig
December 16, 2024 15:02 2h 26m 4s release-kani-0.57.0
release-kani-0.57.0
December 16, 2024 15:02 2h 26m 4s
Update CHANGELOG.md Kani Format Check #457: Commit b3c8301 pushed by tautschnig
December 16, 2024 15:02 46m 57s release-kani-0.57.0
release-kani-0.57.0
December 16, 2024 15:02 46m 57s
Update CHANGELOG.md Cargo Deny #25: Commit b3c8301 pushed by tautschnig
December 16, 2024 15:02 40m 33s release-kani-0.57.0
release-kani-0.57.0
December 16, 2024 15:02 40m 33s
Update CHANGELOG.md Cargo Deny #24: Commit ff768f8 pushed by tautschnig
December 16, 2024 15:02 38m 38s release-kani-0.57.0
release-kani-0.57.0
December 16, 2024 15:02 38m 38s
Update CHANGELOG.md Kani CI #456: Commit ff768f8 pushed by tautschnig
December 16, 2024 15:02 2h 23m 22s release-kani-0.57.0
release-kani-0.57.0
December 16, 2024 15:02 2h 23m 22s
Update CHANGELOG.md Kani Format Check #456: Commit ff768f8 pushed by tautschnig
December 16, 2024 15:02 40m 35s release-kani-0.57.0
release-kani-0.57.0
December 16, 2024 15:02 40m 35s
Update CHANGELOG.md Kani Format Check #455: Commit 11df469 pushed by tautschnig
December 16, 2024 15:02 38m 29s release-kani-0.57.0
release-kani-0.57.0
December 16, 2024 15:02 38m 29s