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

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
Update toolchain to nightly-2023-09-05 Kani CI #745: Commit f97d12a pushed by adpaco-aws
September 5, 2023 20:00 40m 30s update-toolchain-2023-09-05
update-toolchain-2023-09-05
September 5, 2023 20:00 40m 30s
Bump CBMC version to 5.91.0 Kani CI #744: Commit 52fa5d6 pushed by adpaco-aws
September 5, 2023 15:14 43m 5s cbmc-5.91.0
cbmc-5.91.0
September 5, 2023 15:14 43m 5s
fix clippy? Kani CI #743: Commit e008d10 pushed by adpaco-aws
August 29, 2023 20:25 39m 24s arm64-linux-support
arm64-linux-support
August 29, 2023 20:25 39m 24s
ProTip! You can narrow down the results and go further in time using created:<2023-08-29 or the other filters available.