Skip to content

Actions: tautschnig/kani

Actions

Kani Format Check

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Clippy Kani Format Check #477: Commit 0cf1798 pushed by tautschnig
February 13, 2025 00:57 3m 26s audit-property-class
audit-property-class
February 13, 2025 00:57 3m 26s
Merge remote-tracking branch 'origin/main' into audit-property-class Kani Format Check #476: Commit 4c11cdc pushed by tautschnig
February 13, 2025 00:46 3m 46s audit-property-class
audit-property-class
February 13, 2025 00:46 3m 46s
Rewire MIR-level checks to safety or "unsupported" checks Kani Format Check #475: Commit 4c7f6c5 pushed by tautschnig
February 12, 2025 20:40 2m 2s audit-property-class
audit-property-class
February 12, 2025 20:40 2m 2s
Fix missing files Kani Format Check #474: Commit 0dec9b3 pushed by tautschnig
January 28, 2025 15:53 3m 56s audit-property-class
audit-property-class
January 28, 2025 15:53 3m 56s
Add copyright Kani Format Check #473: Commit 136dd83 pushed by tautschnig
January 28, 2025 14:54 3m 38s audit-property-class
audit-property-class
January 28, 2025 14:54 3m 38s
Adjust PropertyClass of assertions to identify UB Kani Format Check #472: Commit 756d938 pushed by tautschnig
January 28, 2025 14:36 3m 42s audit-property-class
audit-property-class
January 28, 2025 14:36 3m 42s
Merge remote-tracking branch 'origin/main' into enable-post_condition Kani Format Check #471: Commit fd126f6 pushed by tautschnig
January 22, 2025 15:53 2m 33s enable-post_condition
enable-post_condition
January 22, 2025 15:53 2m 33s
Fix syntax and expected output Kani Format Check #470: Commit cf697f7 pushed by tautschnig
January 22, 2025 12:40 3m 49s enable-post_condition
enable-post_condition
January 22, 2025 12:40 3m 49s
Update toolchain to 2025-01-22 Kani Format Check #469: Commit 449449e pushed by tautschnig
January 22, 2025 12:12 2m 35s toolchain-2025-01-17-manual
toolchain-2025-01-17-manual
January 22, 2025 12:12 2m 35s
Enable valid_ptr post_condition harnesses Kani Format Check #468: Commit ed261e3 pushed by tautschnig
January 22, 2025 11:32 2m 37s enable-post_condition
enable-post_condition
January 22, 2025 11:32 2m 37s
Update toolchain to 2025-01-20 Kani Format Check #467: Commit 7ad1392 pushed by tautschnig
January 20, 2025 13:30 5m 30s toolchain-2025-01-17-manual
toolchain-2025-01-17-manual
January 20, 2025 13:30 5m 30s
Update to 2025-01-19 Kani Format Check #466: Commit 5d931d2 pushed by tautschnig
January 20, 2025 13:07 3m 54s toolchain-2025-01-17-manual
toolchain-2025-01-17-manual
January 20, 2025 13:07 3m 54s
Upgrade toolchain to nightly-2025-01-17 Kani Format Check #465: Commit f49d76b pushed by tautschnig
January 20, 2025 11:35 3m 50s toolchain-2025-01-17-manual
toolchain-2025-01-17-manual
January 20, 2025 11:35 3m 50s
setup symlink Kani Format Check #464: Commit 2ca4a31 pushed by tautschnig
January 17, 2025 11:10 3m 50s arm-ci
arm-ci
January 17, 2025 11:10 3m 50s
Enable GitHub Linux/Arm runners in CI Kani Format Check #463: Commit db88e5f pushed by tautschnig
January 17, 2025 10:50 3m 49s arm-ci
arm-ci
January 17, 2025 10:50 3m 49s
Upgrade toolchain to 2025-01-15 Kani Format Check #462: Commit b8d8e75 pushed by tautschnig
January 15, 2025 14:56 3m 47s toolchain-2025-01-14-manual
toolchain-2025-01-14-manual
January 15, 2025 14:56 3m 47s
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