Skip to content

Actions: tautschnig/kani

Actions

Kani Format Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format-check.yml
304 workflow runs
304 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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 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
Update CHANGELOG.md Kani Format Check #454: Commit ed4a175 pushed by tautschnig
December 16, 2024 15:01 32m 45s release-kani-0.57.0
release-kani-0.57.0
December 16, 2024 15:01 32m 45s
Update CHANGELOG.md Kani Format Check #453: Commit d2467e6 pushed by tautschnig
December 16, 2024 15:01 8m 33s release-kani-0.57.0
release-kani-0.57.0
December 16, 2024 15:01 8m 33s
Merge remote-tracking branch 'origin/main' into release-kani-0.57.0 Kani Format Check #452: Commit c973ecb pushed by tautschnig
December 16, 2024 15:00 3m 43s release-kani-0.57.0
release-kani-0.57.0
December 16, 2024 15:00 3m 43s
Make cargo deny happy and reduce warnings Kani Format Check #451: Commit f24e743 pushed by tautschnig
December 13, 2024 12:10 2m 30s cargo-update
cargo-update
December 13, 2024 12:10 2m 30s
Bump Kani version to 0.52.0 (#3224) Kani Format Check #450: Commit 6ece0f2 pushed by tautschnig
December 13, 2024 11:58 3m 32s release-kani-0.57.0
release-kani-0.57.0
December 13, 2024 11:58 3m 32s
Update cargo dependencies Kani Format Check #449: Commit b5e852a pushed by tautschnig
December 13, 2024 11:37 3m 43s cargo-update
cargo-update
December 13, 2024 11:37 3m 43s
Setup/CI: cleanup Ubuntu 18.04 and cbmc-viewer left-overs and enable … Kani Format Check #448: Commit b0fd8fc pushed by tautschnig
December 5, 2024 11:43 2m 28s no-18.04
no-18.04
December 5, 2024 11:43 2m 28s
Upgrade toolchain to 2024-11-28 Kani Format Check #447: Commit 1b4141d pushed by tautschnig
December 3, 2024 07:45 3m 24s toolchain-2024-11-28-manual
toolchain-2024-11-28-manual
December 3, 2024 07:45 3m 24s
Further updates to patterns Kani Format Check #446: Commit baee29c pushed by tautschnig
December 2, 2024 18:41 3m 40s toolchain-2024-11-27-manual
toolchain-2024-11-27-manual
December 2, 2024 18:41 3m 40s
Upgrade toolchain to 2024-11-27 Kani Format Check #445: Commit 968e492 pushed by tautschnig
December 2, 2024 17:35 2m 43s toolchain-2024-11-27-manual
toolchain-2024-11-27-manual
December 2, 2024 17:35 2m 43s
Upgrade toolchain to 2024-11-01 Kani Format Check #444: Commit 6d9fc12 pushed by tautschnig
November 1, 2024 11:07 2m 40s toolchain-2024-11-01-manual
toolchain-2024-11-01-manual
November 1, 2024 11:07 2m 40s
Upgrade toolchain to 2024-10-30 Kani Format Check #443: Commit 784435b pushed by tautschnig
October 30, 2024 10:27 3m 40s toolchain-2024-10-30-manual
toolchain-2024-10-30-manual
October 30, 2024 10:27 3m 40s
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
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
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
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
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
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