Skip to content

Actions: tautschnig/kani

Actions

Kani Format Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format-check.yml
122 workflow run results
122 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' into fix-cbmc-update-syntax Kani Format Check #290: Commit e70d597 pushed by tautschnig
April 16, 2024 22:10 1m 58s fix-cbmc-update-syntax
fix-cbmc-update-syntax
April 16, 2024 22:10 1m 58s
Fix syntax error in cbmc-update CI job Kani Format Check #289: Commit ac3a82a pushed by tautschnig
April 15, 2024 16:11 2m 17s fix-cbmc-update-syntax
fix-cbmc-update-syntax
April 15, 2024 16:11 2m 17s
Formatting Kani Format Check #288: Commit 7e5b381 pushed by tautschnig
April 10, 2024 09:23 2m 15s fix-3129
fix-3129
April 10, 2024 09:23 2m 15s
Parameters are not to be treated different Kani Format Check #287: Commit 822f007 pushed by tautschnig
April 10, 2024 09:20 3m 1s fix-3129
fix-3129
April 10, 2024 09:20 3m 1s
Remove is-a-parameter from gen_stack_variable Kani Format Check #286: Commit 61ec226 pushed by tautschnig
April 10, 2024 08:52 2m 13s cleanup-gen_stack_variable
cleanup-gen_stack_variable
April 10, 2024 08:52 2m 13s
Restore mdbook-graphviz installation Kani Format Check #285: Commit 58701ce pushed by tautschnig
April 10, 2024 08:04 3m 45s re-enable-mdbook-graphviz
re-enable-mdbook-graphviz
April 10, 2024 08:04 3m 45s
Do not assume that ZST-typed symbols refer to unique objects Kani Format Check #284: Commit 6422c9c pushed by tautschnig
April 8, 2024 15:01 2m 13s fix-3129
fix-3129
April 8, 2024 15:01 2m 13s
Fix TestLocalToolchain jobs for release push Kani Format Check #283: Commit 69ff979 pushed by tautschnig
April 5, 2024 20:12 2m 9s fix-release-test-job
fix-release-test-job
April 5, 2024 20:12 2m 9s
Merge remote-tracking branch 'origin/main' into toolchain-upgrade-202… Kani Format Check #282: Commit b32238d pushed by tautschnig
April 5, 2024 19:44 2m 47s toolchain-upgrade-2024-04-03-manual
toolchain-upgrade-2024-04-03-manual
April 5, 2024 19:44 2m 47s
Merge branch 'main' into toolchain-upgrade-2024-03-30-manual Kani Format Check #281: Commit 0c2eb9a pushed by celinval
April 5, 2024 18:36 2m 49s toolchain-upgrade-2024-03-30-manual
toolchain-upgrade-2024-03-30-manual
April 5, 2024 18:36 2m 49s
Update write_invalid.rs Kani Format Check #280: Commit 013c6a3 pushed by celinval
April 5, 2024 18:36 2m 53s toolchain-upgrade-2024-03-30-manual
toolchain-upgrade-2024-03-30-manual
April 5, 2024 18:36 2m 53s
Update the rust toolchain to nightly-2024-04-03 Kani Format Check #279: Commit e2856c7 pushed by tautschnig
April 5, 2024 13:03 2m 1s toolchain-upgrade-2024-04-03-manual
toolchain-upgrade-2024-04-03-manual
April 5, 2024 13:03 2m 1s
Update the rust toolchain to nightly-2024-04-02 Kani Format Check #278: Commit d1104fb pushed by tautschnig
April 5, 2024 13:01 3m 47s toolchain-upgrade-2024-03-30-manual
toolchain-upgrade-2024-03-30-manual
April 5, 2024 13:01 3m 47s
Bump Kani version to 0.49.0 Kani Format Check #277: Commit 2cb9512 pushed by tautschnig
April 5, 2024 12:02 2m 12s release-kani-0.49.0
release-kani-0.49.0
April 5, 2024 12:02 2m 12s
Remove remaining litani leftovers Kani Format Check #276: Commit 2125466 pushed by tautschnig
April 5, 2024 09:42 3m 6s remove-bookrunner
remove-bookrunner
April 5, 2024 09:42 3m 6s
Remove bookrunner Kani Format Check #275: Commit 45560f6 pushed by tautschnig
April 4, 2024 21:14 3m 11s remove-bookrunner
remove-bookrunner
April 4, 2024 21:14 3m 11s
Benchcomp scatterplots: quote axis labels Kani Format Check #274: Commit 40ef687 pushed by tautschnig
March 20, 2024 09:55 2m 39s scatterplot-fixup
scatterplot-fixup
March 20, 2024 09:55 2m 39s
More whitespace Kani Format Check #273: Commit 735a5e8 pushed by tautschnig
March 19, 2024 14:31 2m 44s benchcomp-scatterplot
benchcomp-scatterplot
March 19, 2024 14:31 2m 44s
More whitespace Kani Format Check #272: Commit b7c3a14 pushed by tautschnig
March 19, 2024 13:05 7m 29s benchcomp-scatterplot
benchcomp-scatterplot
March 19, 2024 13:05 7m 29s
Refine padding Kani Format Check #271: Commit 426751a pushed by tautschnig
March 19, 2024 11:50 3m 5s benchcomp-scatterplot
benchcomp-scatterplot
March 19, 2024 11:50 3m 5s
Try different padding Kani Format Check #270: Commit 7d25d36 pushed by tautschnig
March 19, 2024 08:50 2m 40s benchcomp-scatterplot
benchcomp-scatterplot
March 19, 2024 08:50 2m 40s
Update tools/benchcomp/benchcomp/visualizers/__init__.py Kani Format Check #269: Commit df9234a pushed by tautschnig
March 18, 2024 14:33 2m 56s benchcomp-scatterplot
benchcomp-scatterplot
March 18, 2024 14:33 2m 56s
Update tools/benchcomp/benchcomp/visualizers/__init__.py Kani Format Check #268: Commit b7e0317 pushed by tautschnig
March 18, 2024 14:33 2m 2s benchcomp-scatterplot
benchcomp-scatterplot
March 18, 2024 14:33 2m 2s
Update tools/benchcomp/benchcomp/visualizers/__init__.py Kani Format Check #267: Commit cd1dd67 pushed by tautschnig
March 18, 2024 14:33 2m 35s benchcomp-scatterplot
benchcomp-scatterplot
March 18, 2024 14:33 2m 35s
Make padding explicit Kani Format Check #266: Commit 6ec598d pushed by tautschnig
March 18, 2024 08:29 2m 11s benchcomp-scatterplot
benchcomp-scatterplot
March 18, 2024 08:29 2m 11s