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

Print locations in statements Kani CI #825: Commit a217217 pushed by adpaco-aws
February 5, 2024 17:02 32m 50s print-state-locs
print-state-locs
February 5, 2024 17:02 32m 50s
Merge branch 'main' into should-panic-as-global-condition Kani CI #824: Commit 5977b63 pushed by adpaco-aws
January 12, 2024 18:23 28m 11s should-panic-as-global-condition
should-panic-as-global-condition
January 12, 2024 18:23 28m 11s
Update one of the outcomes for fail_uncoverable Kani CI #823: Commit 709253b pushed by adpaco-aws
January 12, 2024 18:22 28m 20s should-panic-as-global-condition
should-panic-as-global-condition
January 12, 2024 18:22 28m 20s
Minor improvements in test descriptions Kani CI #822: Commit 12ecc4b pushed by adpaco-aws
January 10, 2024 23:10 33m 48s fail-uncoverable
fail-uncoverable
January 10, 2024 23:10 33m 48s
Recommend to represent --fail-uncoverable as a global condition Kani CI #821: Commit 29af80d pushed by adpaco-aws
January 3, 2024 22:46 37m 11s should-panic-as-global-condition
should-panic-as-global-condition
January 3, 2024 22:46 37m 11s
Use full output lines in ui tests Kani CI #820: Commit fc08166 pushed by adpaco-aws
January 3, 2024 21:30 37m 59s fail-uncoverable
fail-uncoverable
January 3, 2024 21:30 37m 59s
Minor improvements in documentation Kani CI #819: Commit 1dda0ed pushed by adpaco-aws
January 3, 2024 17:30 39m 7s fail-uncoverable
fail-uncoverable
January 3, 2024 17:30 39m 7s
Adapt to work with coverage Kani CI #818: Commit b5b8447 pushed by adpaco-aws
January 3, 2024 16:47 36m 57s fail-uncoverable
fail-uncoverable
January 3, 2024 16:47 36m 57s
Also build with cadical Kani CI #817: Commit 4444ab7 pushed by adpaco-aws
January 2, 2024 22:09 30m 12s fix-path-nightly-regression
fix-path-nightly-regression
January 2, 2024 22:09 30m 12s
Use cmake to build CBMC in regression jobs Kani CI #816: Commit 6431f22 pushed by adpaco-aws
January 2, 2024 20:46 29m 34s fix-path-nightly-regression
fix-path-nightly-regression
January 2, 2024 20:46 29m 34s
Make non-installation unconditional Kani CI #815: Commit f40dbc4 pushed by adpaco-aws
December 22, 2023 20:34 9m 34s issue-2952-5
issue-2952-5
December 22, 2023 20:34 9m 34s
Send something to log Kani CI #814: Commit c257eb3 pushed by adpaco-aws
December 22, 2023 19:52 25m 58s issue-2952-5
issue-2952-5
December 22, 2023 19:52 25m 58s
fix description of install_cbmc param Kani CI #813: Commit c4c27e7 pushed by adpaco-aws
December 22, 2023 19:25 26m 6s issue-2952-5
issue-2952-5
December 22, 2023 19:25 26m 6s
Add option to not install CBMC in action/script Kani CI #812: Commit a6bb10c pushed by adpaco-aws
December 22, 2023 19:22 18s issue-2952-5
issue-2952-5
December 22, 2023 19:22 18s
Migrate foreign function, compiler-interface and kani-middle modules … Kani CI #811: Commit ee0ff7e pushed by adpaco-aws
December 22, 2023 19:03 37m 29s issue-2952-5
issue-2952-5
December 22, 2023 19:03 37m 29s
Avoid release in script as well Kani CI #810: Commit 9acd037 pushed by adpaco-aws
December 22, 2023 18:01 32m 58s issue-2952-4
issue-2952-4
December 22, 2023 18:01 32m 58s
Don't build release mode for perf Kani CI #809: Commit dfc62ee pushed by adpaco-aws
December 22, 2023 16:55 36m 50s issue-2952-4
issue-2952-4
December 22, 2023 16:55 36m 50s
Check cbmc paths and versions Kani CI #808: Commit a2a2337 pushed by adpaco-aws
December 22, 2023 15:38 36m 42s issue-2952-4
issue-2952-4
December 22, 2023 15:38 36m 42s
Use cmake in both jobs Kani CI #807: Commit e079f89 pushed by adpaco-aws
December 21, 2023 15:56 39m 9s issue-2952-3
issue-2952-3
December 21, 2023 15:56 39m 9s
Update Rust toolchain to nightly-2023-12-18 Kani CI #806: Commit 7209749 pushed by adpaco-aws
December 18, 2023 23:01 41m 49s toolchain-udpate-2023-12-18
toolchain-udpate-2023-12-18
December 18, 2023 23:01 41m 49s
Avoid release mode when running perf suite Kani CI #805: Commit 6084bd8 pushed by adpaco-aws
December 18, 2023 22:10 35m 16s issue-2952-2
issue-2952-2
December 18, 2023 22:10 35m 16s
Change how CBMC is built Kani CI #804: Commit 5bced45 pushed by adpaco-aws
December 18, 2023 22:08 27m 52s issue-2952-1
issue-2952-1
December 18, 2023 22:08 27m 52s
Update kani-compiler/src/kani_middle/reachability.rs Kani CI #803: Commit 29ac962 pushed by celinval
December 8, 2023 18:48 33m 9s update-toolchain-2023-12-08
update-toolchain-2023-12-08
December 8, 2023 18:48 33m 9s
Remove workaround in reachable_items Kani CI #802: Commit 5415041 pushed by adpaco-aws
December 8, 2023 18:19 30m 23s update-toolchain-2023-12-08
update-toolchain-2023-12-08
December 8, 2023 18:19 30m 23s
Merge branch 'main' into update-toolchain-2023-12-08 Kani CI #801: Commit f673e2c pushed by adpaco-aws
December 8, 2023 16:49 28m 58s update-toolchain-2023-12-08
update-toolchain-2023-12-08
December 8, 2023 16:49 28m 58s
ProTip! You can narrow down the results and go further in time using created:<2023-12-08 or the other filters available.