Skip to content

Actions: tautschnig/kani

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.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 CI #461: Commit 7b43eed pushed by tautschnig
December 17, 2024 14:10 1h 3m 16s fix-docker
fix-docker
December 17, 2024 14:10 1h 3m 16s
2024-12-15 Kani CI #460: Commit a05af0c pushed by tautschnig
December 16, 2024 21:04 52m 6s fixup-changelog
fixup-changelog
December 16, 2024 21:04 52m 6s
Fix toolchain version in 0.57.0 CHANGELOG Kani CI #459: Commit 263810f pushed by tautschnig
December 16, 2024 19:38 57m 56s fixup-changelog
fixup-changelog
December 16, 2024 19:38 57m 56s
Apply suggested cleanup Kani CI #458: Commit 116d3d1 pushed by tautschnig
December 16, 2024 15:09 2h 52m 0s release-kani-0.57.0
release-kani-0.57.0
December 16, 2024 15:09 2h 52m 0s
Update CHANGELOG.md Kani CI #457: Commit b3c8301 pushed by tautschnig
December 16, 2024 15:02 2h 26m 4s release-kani-0.57.0
release-kani-0.57.0
December 16, 2024 15:02 2h 26m 4s
Update CHANGELOG.md Kani CI #456: Commit ff768f8 pushed by tautschnig
December 16, 2024 15:02 2h 23m 22s release-kani-0.57.0
release-kani-0.57.0
December 16, 2024 15:02 2h 23m 22s
Update CHANGELOG.md Kani CI #455: Commit 11df469 pushed by tautschnig
December 16, 2024 15:02 1h 49m 34s release-kani-0.57.0
release-kani-0.57.0
December 16, 2024 15:02 1h 49m 34s
Update CHANGELOG.md Kani CI #454: Commit ed4a175 pushed by tautschnig
December 16, 2024 15:01 1h 34m 30s release-kani-0.57.0
release-kani-0.57.0
December 16, 2024 15:01 1h 34m 30s
Update CHANGELOG.md Kani CI #453: Commit d2467e6 pushed by tautschnig
December 16, 2024 15:01 1h 19m 41s release-kani-0.57.0
release-kani-0.57.0
December 16, 2024 15:01 1h 19m 41s
Merge remote-tracking branch 'origin/main' into release-kani-0.57.0 Kani CI #452: Commit c973ecb pushed by tautschnig
December 16, 2024 15:00 40m 31s release-kani-0.57.0
release-kani-0.57.0
December 16, 2024 15:00 40m 31s
Make cargo deny happy and reduce warnings Kani CI #451: Commit f24e743 pushed by tautschnig
December 13, 2024 12:10 41m 40s cargo-update
cargo-update
December 13, 2024 12:10 41m 40s
Bump Kani version to 0.52.0 (#3224) Kani CI #450: Commit 6ece0f2 pushed by tautschnig
December 13, 2024 11:58 1h 16m 40s release-kani-0.57.0
release-kani-0.57.0
December 13, 2024 11:58 1h 16m 40s
Update cargo dependencies Kani CI #449: Commit b5e852a pushed by tautschnig
December 13, 2024 11:37 51m 40s cargo-update
cargo-update
December 13, 2024 11:37 51m 40s
Setup/CI: cleanup Ubuntu 18.04 and cbmc-viewer left-overs and enable … Kani CI #448: Commit b0fd8fc pushed by tautschnig
December 5, 2024 11:43 58m 38s no-18.04
no-18.04
December 5, 2024 11:43 58m 38s
Upgrade toolchain to 2024-11-28 Kani CI #447: Commit 1b4141d pushed by tautschnig
December 3, 2024 07:45 38m 36s toolchain-2024-11-28-manual
toolchain-2024-11-28-manual
December 3, 2024 07:45 38m 36s
Further updates to patterns Kani CI #446: Commit baee29c pushed by tautschnig
December 2, 2024 18:41 1h 12m 3s toolchain-2024-11-27-manual
toolchain-2024-11-27-manual
December 2, 2024 18:41 1h 12m 3s
Upgrade toolchain to 2024-11-27 Kani CI #445: Commit 968e492 pushed by tautschnig
December 2, 2024 17:35 38m 0s toolchain-2024-11-27-manual
toolchain-2024-11-27-manual
December 2, 2024 17:35 38m 0s
Upgrade toolchain to 2024-11-01 Kani CI #444: Commit 6d9fc12 pushed by tautschnig
November 1, 2024 11:07 52m 42s toolchain-2024-11-01-manual
toolchain-2024-11-01-manual
November 1, 2024 11:07 52m 42s
Upgrade toolchain to 2024-10-30 Kani CI #443: Commit 784435b pushed by tautschnig
October 30, 2024 10:27 50m 13s toolchain-2024-10-30-manual
toolchain-2024-10-30-manual
October 30, 2024 10:27 50m 13s
Update toolchain to 2024-09-23 (#3544) Kani CI #442: Commit eab5096 pushed by tautschnig
September 26, 2024 09:05 36m 33s toolchain-2024-09-26-manual
toolchain-2024-09-26-manual
September 26, 2024 09:05 36m 33s
Toolchain of 24th is ICEs in doc build Kani CI #441: Commit 0605e85 pushed by tautschnig
September 24, 2024 11:13 39m 24s toolchain-2024-09-21-manual
toolchain-2024-09-21-manual
September 24, 2024 11:13 39m 24s
Silence warnings about mutable reference to mutable static Kani CI #440: Commit 7fbbc48 pushed by tautschnig
September 24, 2024 11:00 54m 53s toolchain-2024-09-21-manual
toolchain-2024-09-21-manual
September 24, 2024 11:00 54m 53s
Update toolchain to 2024-09-24 Kani CI #439: Commit b74a220 pushed by tautschnig
September 24, 2024 10:17 52m 30s toolchain-2024-09-21-manual
toolchain-2024-09-21-manual
September 24, 2024 10:17 52m 30s
Merge remote-tracking branch 'origin/main' into toolchain-2024-09-18-… Kani CI #438: Commit 664f35a pushed by tautschnig
September 23, 2024 18:36 42m 2s toolchain-2024-09-18-manual
toolchain-2024-09-18-manual
September 23, 2024 18:36 42m 2s
Use ./ Kani CI #437: Commit 99ce174 pushed by tautschnig
September 23, 2024 13:28 48m 14s cbmc-6.3.1
cbmc-6.3.1
September 23, 2024 13:28 48m 14s