Skip to content

Actions: adpaco-aws/rmc

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
28 workflow run results
28 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Format, once again Kani CI #770: Commit 555463a pushed by adpaco-aws
September 29, 2023 15:56 48m 22s issue-2860
issue-2860
September 29, 2023 15:56 48m 22s
Newlines in expected files Kani CI #769: Commit 00405a9 pushed by adpaco-aws
September 29, 2023 15:09 36m 51s issue-2860
issue-2860
September 29, 2023 15:09 36m 51s
Test empty case Kani CI #768: Commit e0f96b9 pushed by adpaco-aws
September 29, 2023 14:48 48m 50s issue-2860-test
issue-2860-test
September 29, 2023 14:48 48m 50s
Merge branch 'main' into issue-2860 Kani CI #767: Commit db1370b pushed by adpaco-aws
September 28, 2023 22:47 45m 26s issue-2860
issue-2860
September 28, 2023 22:47 45m 26s
More branch cleanup Kani CI #766: Commit 773edb1 pushed by adpaco-aws
September 28, 2023 22:29 40m 43s issue-2860
issue-2860
September 28, 2023 22:29 40m 43s
Merge branches that depended on the number of fields Kani CI #765: Commit a54942b pushed by adpaco-aws
September 28, 2023 22:20 46m 38s issue-2860
issue-2860
September 28, 2023 22:20 46m 38s
Add copyright and description to test Kani CI #764: Commit 704f366 pushed by adpaco-aws
September 28, 2023 20:35 59m 20s issue-2860
issue-2860
September 28, 2023 20:35 59m 20s
Check that there is a single non-phantom field Kani CI #763: Commit 3b36a9b pushed by adpaco-aws
September 28, 2023 20:30 49m 2s issue-2860
issue-2860
September 28, 2023 20:30 49m 2s
Format on test Kani CI #762: Commit 1cdb54a pushed by adpaco-aws
September 28, 2023 20:15 43m 19s issue-2860
issue-2860
September 28, 2023 20:15 43m 19s
Add cargo-kani test Kani CI #761: Commit de340f2 pushed by adpaco-aws
September 28, 2023 20:13 40m 53s issue-2860
issue-2860
September 28, 2023 20:13 40m 53s
More format... Kani CI #760: Commit 629b62e pushed by adpaco-aws
September 28, 2023 19:47 49m 59s issue-2860
issue-2860
September 28, 2023 19:47 49m 59s
Consider case where one-variant ADT has more than one field Kani CI #759: Commit 34cb0f0 pushed by adpaco-aws
September 28, 2023 19:02 42m 5s issue-2860
issue-2860
September 28, 2023 19:02 42m 5s
Bump version 0.37.0 (#2783) Kani CI #758: Commit c7c0f18 pushed by adpaco-aws
September 26, 2023 14:05 51m 20s issue-2860
issue-2860
September 26, 2023 14:05 51m 20s
Merge branch 'main' into arm64-linux-support Kani CI #757: Commit d7cbef6 pushed by adpaco-aws
September 12, 2023 22:38 47m 57s arm64-linux-support
arm64-linux-support
September 12, 2023 22:38 47m 57s
Add references to ARM's machine model Kani CI #756: Commit c7f7d2f pushed by adpaco-aws
September 12, 2023 22:38 40m 22s arm64-linux-support
arm64-linux-support
September 12, 2023 22:38 40m 22s
Fix clippy Kani CI #755: Commit 6c87e4e pushed by adpaco-aws
September 12, 2023 19:26 52m 6s arm64-linux-support
arm64-linux-support
September 12, 2023 19:26 52m 6s
Convert conc. playback int. values into ASCII Kani CI #754: Commit 113482f pushed by adpaco-aws
September 12, 2023 19:14 43m 41s arm64-linux-support
arm64-linux-support
September 12, 2023 19:14 43m 41s
Merge branch 'main' into no-build-files-rustdocs Kani CI #753: Commit 0cb14b4 pushed by tautschnig
September 9, 2023 12:10 41m 29s no-build-files-rustdocs
no-build-files-rustdocs
September 9, 2023 12:10 41m 29s
Remove build files generated with cargo doc Kani CI #752: Commit b9938dd pushed by adpaco-aws
September 8, 2023 18:17 48m 18s no-build-files-rustdocs
no-build-files-rustdocs
September 8, 2023 18:17 48m 18s
Remove build files generated with cargo doc Kani CI #751: Commit 1561cdb pushed by adpaco-aws
September 8, 2023 18:08 41m 54s no-build-files-rustdocs
no-build-files-rustdocs
September 8, 2023 18:08 41m 54s
Do not run performance benchmarks for tags Kani CI #750: Commit 0b196bf pushed by adpaco-aws
September 7, 2023 17:56 41m 56s no-bench-on-release
no-bench-on-release
September 7, 2023 17:56 41m 56s
Add release notes for 0.36.0 Kani CI #749: Commit 85652de pushed by adpaco-aws
September 6, 2023 20:34 48m 41s release-0.36.0
release-0.36.0
September 6, 2023 20:34 48m 41s
Merge branch 'main' into update-dependencies-0.36.0 Kani CI #748: Commit 006d7c8 pushed by adpaco-aws
September 6, 2023 18:34 47m 37s update-dependencies-0.36.0
update-dependencies-0.36.0
September 6, 2023 18:34 47m 37s
Bump dependencies for release 0.36.0 Kani CI #747: Commit 8e51e31 pushed by adpaco-aws
September 6, 2023 16:23 47m 25s update-dependencies-0.36.0
update-dependencies-0.36.0
September 6, 2023 16:23 47m 25s
Update toolchain to nightly-2023-09-05 Kani CI #746: Commit 96a3773 pushed by adpaco-aws
September 5, 2023 20:02 49m 7s update-toolchain-2023-09-05
update-toolchain-2023-09-05
September 5, 2023 20:02 49m 7s