Skip to content

Actions: adpaco-aws/rmc

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
358 workflow runs
358 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use GenSig instead of PolyGenSig Kani CI #800: Commit 09b2982 pushed by adpaco-aws
December 8, 2023 16:34 29m 23s update-toolchain-2023-12-08
update-toolchain-2023-12-08
December 8, 2023 16:34 29m 23s
Use GenSig instead of PolyGenSig Kani CI #799: Commit e604a05 pushed by adpaco-aws
December 8, 2023 16:21 29m 28s update-toolchain-2023-12-08
update-toolchain-2023-12-08
December 8, 2023 16:21 29m 28s
Add more tests (simd_shuffle/simd_swizzle) Kani CI #798: Commit fa92da2 pushed by adpaco-aws
December 7, 2023 22:25 26m 26s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 7, 2023 22:25 26m 26s
Changes for coverage spans Kani CI #797: Commit 5022fbf pushed by adpaco-aws
December 6, 2023 22:23 30m 3s coverage-spans
coverage-spans
December 6, 2023 22:23 30m 3s
Fix setup for aarch64-unknown-linux-gnu platform Kani CI #796: Commit f387cc4 pushed by adpaco-aws
November 7, 2023 15:30 51m 9s fix-setup-arm64
fix-setup-arm64
November 7, 2023 15:30 51m 9s
Output version in versioning step Kani CI #795: Commit 65648a8 pushed by adpaco-aws
November 2, 2023 20:59 48m 40s fix-package-docker
fix-package-docker
November 2, 2023 20:59 48m 40s
Do not override std library during playback (#2852) Kani CI #794: Commit 0e4e241 pushed by adpaco-aws
November 2, 2023 20:46 40m 14s main
main
November 2, 2023 20:46 40m 14s
Shorten expected table frames for assess test Kani CI #793: Commit e75de30 pushed by adpaco-aws
November 1, 2023 20:15 39m 41s assess-lines
assess-lines
November 1, 2023 20:15 39m 41s
Address comments Kani CI #792: Commit 232c243 pushed by adpaco-aws
November 1, 2023 13:41 46m 13s release-kani-0.40.0
release-kani-0.40.0
November 1, 2023 13:41 46m 13s
List contributions in the changelog Kani CI #791: Commit b595181 pushed by adpaco-aws
October 31, 2023 20:52 41m 18s release-kani-0.40.0
release-kani-0.40.0
October 31, 2023 20:52 41m 18s
Update Rust toolchain to nightly-2023-10-31 Kani CI #790: Commit 414d4a7 pushed by adpaco-aws
October 31, 2023 20:34 46m 52s toolchain-update-2023-10-31
toolchain-update-2023-10-31
October 31, 2023 20:34 46m 52s
Fix issues and Update toolchain 10-26 (#2843) Kani CI #789: Commit d230735 pushed by adpaco-aws
October 31, 2023 20:27 43m 6s toolchain-update-2023-10-31
toolchain-update-2023-10-31
October 31, 2023 20:27 43m 6s
Merge branch 'main' into cbmc-5.95.1 Kani CI #788: Commit 5279573 pushed by adpaco-aws
October 31, 2023 11:39 53m 52s cbmc-5.95.1
cbmc-5.95.1
October 31, 2023 11:39 53m 52s
Add symbolic link Kani CI #787: Commit 8fcac0b pushed by adpaco-aws
October 30, 2023 17:55 47m 39s m1-regressions
m1-regressions
October 30, 2023 17:55 47m 39s
Run regressions on M1 on commits to main Kani CI #786: Commit 324d1d5 pushed by adpaco-aws
October 30, 2023 17:32 42m 52s m1-regressions
m1-regressions
October 30, 2023 17:32 42m 52s
Update to latest CBMC version Kani CI #785: Commit 7e96afc pushed by adpaco-aws
October 30, 2023 15:11 48m 11s cbmc-5.95.1
cbmc-5.95.1
October 30, 2023 15:11 48m 11s
Install rustup too Kani CI #784: Commit 585be2e pushed by adpaco-aws
October 23, 2023 18:46 1h 44m 15s al2-setup
al2-setup
October 23, 2023 18:46 1h 44m 15s
Use version branch instead of develop Kani CI #783: Commit 23949e2 pushed by adpaco-aws
October 23, 2023 17:54 2h 2m 5s al2-setup
al2-setup
October 23, 2023 17:54 2h 2m 5s
Avoid cmake reinstall Kani CI #782: Commit 921b663 pushed by adpaco-aws
October 23, 2023 17:51 1h 21m 51s al2-setup
al2-setup
October 23, 2023 17:51 1h 21m 51s
Add cmake as well Kani CI #781: Commit fa2dd4d pushed by adpaco-aws
October 23, 2023 17:46 1h 21m 35s al2-setup
al2-setup
October 23, 2023 17:46 1h 21m 35s
Add cmake as well Kani CI #780: Commit 51093e3 pushed by adpaco-aws
October 23, 2023 17:26 1h 10m 16s al2-setup-cmake3
al2-setup-cmake3
October 23, 2023 17:26 1h 10m 16s
Avoid cmake reinstall Kani CI #779: Commit 10924af pushed by adpaco-aws
October 23, 2023 15:30 1h 23m 4s al2-setup-cmake3
al2-setup-cmake3
October 23, 2023 15:30 1h 23m 4s
Upgrade tracing dependency Kani CI #778: Commit a28e868 pushed by adpaco-aws
October 23, 2023 15:04 1h 13m 43s upgrade-tracing
upgrade-tracing
October 23, 2023 15:04 1h 13m 43s
Add scripts for setup in AL2 Kani CI #777: Commit f02fe0e pushed by adpaco-aws
October 20, 2023 21:34 1h 44m 54s al2-setup
al2-setup
October 20, 2023 21:34 1h 44m 54s
Add openssl-devel Kani CI #776: Commit a3c7f4b pushed by adpaco-aws
October 20, 2023 21:16 1h 49m 13s al2-setup
al2-setup
October 20, 2023 21:16 1h 49m 13s
ProTip! You can narrow down the results and go further in time using created:<2023-10-20 or the other filters available.