Skip to content

Actions: remi-delmas-3000/kani

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
62 workflow runs
62 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'model-checking:main' into main Kani CI #91: Commit 0046eb8 pushed by remi-delmas-3000
December 20, 2024 13:48 57m 45s main
main
December 20, 2024 13:48 57m 45s
Update kissat to v4.0.1 Kani CI #90: Commit 89bd476 pushed by remi-delmas-3000
December 19, 2024 21:19 1h 1m 28s update-kissat-4.0.1
update-kissat-4.0.1
December 19, 2024 21:19 1h 1m 28s
Update kissat to v4.0.1 Kani CI #89: Commit b887ccf pushed by remi-delmas-3000
December 19, 2024 21:17 46m 33s main
main
December 19, 2024 21:17 46m 33s
Improve --jobs UI (#3790) Kani CI #88: Commit b7ae080 pushed by remi-delmas-3000
December 19, 2024 21:11 1h 2m 18s main
main
December 19, 2024 21:11 1h 2m 18s
Remove CBMC viewer and visualize option (#3699) Kani CI #87: Commit 26c078e pushed by remi-delmas-3000
November 9, 2024 01:58 46m 46s main
main
November 9, 2024 01:58 46m 46s
Merge branch 'main' into bump-cbmc-viewer-3.10 Kani CI #86: Commit 6ccf625 pushed by remi-delmas-3000
November 6, 2024 16:22 43m 1s bump-cbmc-viewer-3.10
bump-cbmc-viewer-3.10
November 6, 2024 16:22 43m 1s
Bump Kani version to 0.57.0 Kani CI #85: Commit e061f37 pushed by remi-delmas-3000
November 6, 2024 15:19 51m 35s bump-kani-version-0.57.0
bump-kani-version-0.57.0
November 6, 2024 15:19 51m 35s
Add support for float_to_int_unchecked (#3660) Kani CI #84: Commit 0dc09a7 pushed by remi-delmas-3000
November 6, 2024 14:51 57m 55s main
main
November 6, 2024 14:51 57m 55s
Update cbmc-viewer to 3.10 Kani CI #83: Commit 0e0014b pushed by remi-delmas-3000
November 5, 2024 16:47 54m 4s bump-cbmc-viewer-3.10
bump-cbmc-viewer-3.10
November 5, 2024 16:47 54m 4s
Harness output individual files (#3360) Kani CI #82: Commit edec4dc pushed by remi-delmas-3000
November 5, 2024 16:42 56m 8s main
main
November 5, 2024 16:42 56m 8s
Update dependencies following Audit workflow failure. Kani CI #81: Commit 65f1d9e pushed by remi-delmas-3000
November 4, 2024 21:52 58m 49s update-deps-2024-11-04
update-deps-2024-11-04
November 4, 2024 21:52 58m 49s
Bump tests/perf/s2n-quic from 192de7d to 65d55a4 (#3678) Kani CI #80: Commit 2d39d37 pushed by remi-delmas-3000
November 4, 2024 21:20 54m 26s main
main
November 4, 2024 21:20 54m 26s
Automatic toolchain upgrade to nightly-2024-10-22 (#3628) Kani CI #79: Commit 5f8f513 pushed by remi-delmas-3000
October 22, 2024 14:37 52m 57s main
main
October 22, 2024 14:37 52m 57s
Merge branch 'main' into update-toolchain-2024-05-23 Kani CI #78: Commit 167544c pushed by remi-delmas-3000
May 28, 2024 14:40 28m 10s update-toolchain-2024-05-23
update-toolchain-2024-05-23
May 28, 2024 14:40 28m 10s
Add lld on ubuntu Kani CI #77: Commit ff736e5 pushed by remi-delmas-3000
May 24, 2024 19:41 32m 4s update-toolchain-2024-05-23
update-toolchain-2024-05-23
May 24, 2024 19:41 32m 4s
Add lld on ubuntu Kani CI #76: Commit f6f6024 pushed by remi-delmas-3000
May 24, 2024 18:02 33m 11s update-toolchain-2024-05-23
update-toolchain-2024-05-23
May 24, 2024 18:02 33m 11s
propagate renaming of TyCtx::crates method Kani CI #75: Commit f593175 pushed by remi-delmas-3000
May 24, 2024 17:39 35m 15s update-toolchain-2024-05-23
update-toolchain-2024-05-23
May 24, 2024 17:39 35m 15s
Add lld to fix build error in tests/script-based-pre Kani CI #74: Commit 9a58734 pushed by remi-delmas-3000
May 24, 2024 15:26 31m 0s update-toolchain-2024-05-23
update-toolchain-2024-05-23
May 24, 2024 15:26 31m 0s
Silence linter warning on cfg(kani) Kani CI #73: Commit e62daa9 pushed by remi-delmas-3000
May 23, 2024 20:13 32m 33s update-toolchain-2024-05-23
update-toolchain-2024-05-23
May 23, 2024 20:13 32m 33s
Fix clippy warnings Kani CI #72: Commit 853df1e pushed by remi-delmas-3000
May 23, 2024 19:49 32m 59s update-toolchain-2024-05-23
update-toolchain-2024-05-23
May 23, 2024 19:49 32m 59s
Fix clippy warnings Kani CI #71: Commit b720737 pushed by remi-delmas-3000
May 23, 2024 19:46 33m 31s update-toolchain-2024-05-23
update-toolchain-2024-05-23
May 23, 2024 19:46 33m 31s
Update Rust toolchain from nightly-2024-05-17 to nightly-2024-05-23 Kani CI #70: Commit 04497e5 pushed by remi-delmas-3000
May 23, 2024 19:23 30m 50s update-toolchain-2024-05-23
update-toolchain-2024-05-23
May 23, 2024 19:23 30m 50s
New section about linter configuraton checking in the doc. (#3198) Kani CI #69: Commit 5dc5e0b pushed by remi-delmas-3000
May 22, 2024 21:05 29m 46s main
main
May 22, 2024 21:05 29m 46s
New section about linter configuraton checking in the doc. Kani CI #68: Commit 7c220ce pushed by remi-delmas-3000
May 22, 2024 14:25 30m 20s cfg-linter
cfg-linter
May 22, 2024 14:25 30m 20s
Bump tests/perf/s2n-quic from bd37960 to f5d9d74 (#3196) Kani CI #67: Commit 1ba6cb2 pushed by remi-delmas-3000
May 22, 2024 14:05 33m 32s main
main
May 22, 2024 14:05 33m 32s