Skip to content

Actions: tautschnig/kani

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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