Skip to content

Actions: tautschnig/kani

Actions

Kani Format Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format-check.yml
280 workflow run results
280 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
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
Address warning Kani Format Check #436: Commit 7c248d1 pushed by tautschnig
September 23, 2024 13:27 2m 19s toolchain-2024-09-18-manual
toolchain-2024-09-18-manual
September 23, 2024 13:27 2m 19s
Update toolchain to 2024-09-20 Kani Format Check #435: Commit cf75434 pushed by tautschnig
September 23, 2024 13:19 3m 13s toolchain-2024-09-18-manual
toolchain-2024-09-18-manual
September 23, 2024 13:19 3m 13s
Update to CBMC 6.3.1 and fix auto-update script Kani Format Check #434: Commit aa8920d pushed by tautschnig
September 23, 2024 10:33 2m 10s cbmc-6.3.1
cbmc-6.3.1
September 23, 2024 10:33 2m 10s
Adjust test patterns so as not to check for trivial properties Kani Format Check #433: Commit 8814d67 pushed by tautschnig
August 27, 2024 07:54 2m 14s adjust-for-cbmc-changes
adjust-for-cbmc-changes
August 27, 2024 07:54 2m 14s
Actually apply CBMC patch Kani Format Check #432: Commit b130a55 pushed by tautschnig
August 12, 2024 20:46 2m 18s fixup-cbmc-patch
fixup-cbmc-patch
August 12, 2024 20:46 2m 18s
Update CBMC build instructions for Amazon Linux 2 Kani Format Check #431: Commit b60b9c6 pushed by tautschnig
August 9, 2024 11:12 2m 27s kani-al2-build
kani-al2-build
August 9, 2024 11:12 2m 27s
Merge branch 'main' into fix-toolchain-comment-2 Kani Format Check #430: Commit 7dd52f0 pushed by adpaco-aws
August 6, 2024 15:17 2m 8s fix-toolchain-comment-2
fix-toolchain-comment-2
August 6, 2024 15:17 2m 8s
Toolchain update: avoid Javascript interpreting git log Kani Format Check #429: Commit b9495d9 pushed by tautschnig
August 6, 2024 08:27 2m 23s fix-toolchain-comment-2
fix-toolchain-comment-2
August 6, 2024 08:27 2m 23s
Toolchain auto-update: fix comment posting Kani Format Check #428: Commit cbd33f5 pushed by tautschnig
August 6, 2024 08:27 3m 30s fix-toolchain-comment
fix-toolchain-comment
August 6, 2024 08:27 3m 30s
Use allow(dead_code) Kani Format Check #427: Commit 495b341 pushed by tautschnig
August 5, 2024 16:11 3m 31s toolchain-2024-08-05-manual
toolchain-2024-08-05-manual
August 5, 2024 16:11 3m 31s
Merge branch 'main' into toolchain-2024-08-05-manual Kani Format Check #426: Commit 5213cca pushed by tautschnig
August 5, 2024 10:02 3m 13s toolchain-2024-08-05-manual
toolchain-2024-08-05-manual
August 5, 2024 10:02 3m 13s
Actually remove insert_bb Kani Format Check #425: Commit 579f6e3 pushed by tautschnig
August 5, 2024 08:48 2m 8s toolchain-2024-08-05-manual
toolchain-2024-08-05-manual
August 5, 2024 08:48 2m 8s
Only remove arg_count() method Kani Format Check #424: Commit 52c070f pushed by tautschnig
August 5, 2024 08:45 2m 33s toolchain-2024-08-05-manual
toolchain-2024-08-05-manual
August 5, 2024 08:45 2m 33s
Update toolchain to 2024-08-05 Kani Format Check #423: Commit 80cd280 pushed by tautschnig
August 5, 2024 08:33 2m 39s toolchain-2024-08-05-manual
toolchain-2024-08-05-manual
August 5, 2024 08:33 2m 39s
Toolchain auto-update: fix comment posting Kani Format Check #422: Commit cbd33f5 pushed by tautschnig
August 5, 2024 08:07 2m 12s fix-toolchain-comment
fix-toolchain-comment
August 5, 2024 08:07 2m 12s
Toolchain-update PR: move debugging hints to extra comment Kani Format Check #421: Commit 79917b5 pushed by tautschnig
August 2, 2024 20:48 2m 11s merge-queue-fix
merge-queue-fix
August 2, 2024 20:48 2m 11s
Merge remote-tracking branch 'origin/main' into merge-queue-fix Kani Format Check #420: Commit eea3efa pushed by tautschnig
August 2, 2024 20:41 2m 16s merge-queue-fix
merge-queue-fix
August 2, 2024 20:41 2m 16s
Merge branch 'main' into sqrt-intrinsics Kani Format Check #419: Commit 84c5024 pushed by tautschnig
August 2, 2024 18:46 3m 7s sqrt-intrinsics
sqrt-intrinsics
August 2, 2024 18:46 3m 7s
Enable "Auto label" for merge-queue actions Kani Format Check #418: Commit a8ed550 pushed by tautschnig
August 2, 2024 18:34 2m 14s merge-queue-fix
merge-queue-fix
August 2, 2024 18:34 2m 14s