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

Fix 1 clippy warning and annotate another one Kani CI #850: Commit ca58557 pushed by adpaco-aws
March 4, 2024 18:45 32m 2s toolchain-upgrade-2024-01-03
toolchain-upgrade-2024-01-03
March 4, 2024 18:45 32m 2s
Merge branch 'main' into toolchain-upgrade-2024-01-03 Kani CI #849: Commit 24419a0 pushed by feliperodri
March 4, 2024 16:49 45m 56s toolchain-upgrade-2024-01-03
toolchain-upgrade-2024-01-03
March 4, 2024 16:49 45m 56s
Pass crate name argument to standalone project Kani CI #848: Commit f85da73 pushed by adpaco-aws
March 1, 2024 22:29 33m 1s feat-crate-name
feat-crate-name
March 1, 2024 22:29 33m 1s
Merge branch 'main' into toolchain-upgrade-2024-01-03 Kani CI #847: Commit da1bdbf pushed by adpaco-aws
March 1, 2024 22:04 34m 5s toolchain-upgrade-2024-01-03
toolchain-upgrade-2024-01-03
March 1, 2024 22:04 34m 5s
Fix 1 clippy warning and annotate another one Kani CI #846: Commit 2cd99c6 pushed by adpaco-aws
March 1, 2024 18:31 34m 6s toolchain-upgrade-2024-01-03
toolchain-upgrade-2024-01-03
March 1, 2024 18:31 34m 6s
Fix compilation issues in bookrunner Kani CI #845: Commit 52ff544 pushed by adpaco-aws
March 1, 2024 18:19 36m 40s toolchain-upgrade-2024-01-03
toolchain-upgrade-2024-01-03
March 1, 2024 18:19 36m 40s
Merge branch 'main' into toolchain-upgrade-2024-01-03 Kani CI #844: Commit 1381c43 pushed by adpaco-aws
March 1, 2024 17:18 34m 45s toolchain-upgrade-2024-01-03
toolchain-upgrade-2024-01-03
March 1, 2024 17:18 34m 45s
Sync with changes to Diagnostic and JsonEmitter Kani CI #843: Commit ea494c2 pushed by adpaco-aws
March 1, 2024 17:05 37m 3s toolchain-upgrade-2024-01-03
toolchain-upgrade-2024-01-03
March 1, 2024 17:05 37m 3s
Fixed for kani tests Kani CI #842: Commit 75d49f6 pushed by adpaco-aws
February 29, 2024 23:46 34m 23s toolchain-upgrade-2024-01-03
toolchain-upgrade-2024-01-03
February 29, 2024 23:46 34m 23s
Use without_provenance_ptr in AtomicPtr test Kani CI #841: Commit db1eb1c pushed by adpaco-aws
February 29, 2024 21:32 33m 42s toolchain-upgrade-2024-02-25
toolchain-upgrade-2024-02-25
February 29, 2024 21:32 33m 42s
Merge branch 'main' into toolchain-upgrade-2024-02-25 Kani CI #840: Commit c4b63d3 pushed by adpaco-aws
February 29, 2024 20:59 35m 24s toolchain-upgrade-2024-02-25
toolchain-upgrade-2024-02-25
February 29, 2024 20:59 35m 24s
Change assert! to debug_assert! Kani CI #839: Commit 287eaf8 pushed by adpaco-aws
February 29, 2024 20:41 34m 45s toolchain-upgrade-2024-02-25
toolchain-upgrade-2024-02-25
February 29, 2024 20:41 34m 45s
Merge branch 'main' into toolchain-upgrade-2024-02-25 Kani CI #838: Commit 403ea65 pushed by adpaco-aws
February 29, 2024 16:21 37m 21s toolchain-upgrade-2024-02-25
toolchain-upgrade-2024-02-25
February 29, 2024 16:21 37m 21s
Check for more than one separator Kani CI #837: Commit 5ecc28e pushed by adpaco-aws
February 29, 2024 16:16 38m 10s toolchain-upgrade-2024-02-25
toolchain-upgrade-2024-02-25
February 29, 2024 16:16 38m 10s
Upgrade windows-targets to version 0.52.4 Kani CI #836: Commit c45823e pushed by adpaco-aws
February 29, 2024 14:58 44m 5s fix-yanked-windows-targets
fix-yanked-windows-targets
February 29, 2024 14:58 44m 5s
Remove import in bookrunner Kani CI #835: Commit 9ea43ff pushed by adpaco-aws
February 28, 2024 16:51 38m 30s toolchain-upgrade-2024-02-25
toolchain-upgrade-2024-02-25
February 28, 2024 16:51 38m 30s
Remove redundant imports causing warnings Kani CI #834: Commit 7e0cdc3 pushed by adpaco-aws
February 28, 2024 16:15 46m 3s toolchain-upgrade-2024-02-25
toolchain-upgrade-2024-02-25
February 28, 2024 16:15 46m 3s
Use trimmed name for intrinsics Kani CI #833: Commit 9e43394 pushed by adpaco-aws
February 28, 2024 15:18 35m 49s toolchain-upgrade-2024-02-25
toolchain-upgrade-2024-02-25
February 28, 2024 15:18 35m 49s
Create new coverage subcommand Kani CI #832: Commit afcf56a pushed by adpaco-aws
February 26, 2024 15:52 55m 8s region-cov-rustc
region-cov-rustc
February 26, 2024 15:52 55m 8s
Add marker for coverage results Kani CI #831: Commit 3b713bc pushed by adpaco-aws
February 21, 2024 17:49 59m 48s region-cov-rustc
region-cov-rustc
February 21, 2024 17:49 59m 48s
Minor changes to new coverage output Kani CI #830: Commit fe3ebeb pushed by adpaco-aws
February 20, 2024 23:57 55m 49s region-cov-rustc
region-cov-rustc
February 20, 2024 23:57 55m 49s
Emit only new coverage checks and do some postprocessing Kani CI #829: Commit bf99800 pushed by adpaco-aws
February 15, 2024 15:49 28m 11s region-cov-rustc
region-cov-rustc
February 15, 2024 15:49 28m 11s
Conditional instrum. based on coverage flag and format Kani CI #828: Commit 7cf9aae pushed by adpaco-aws
February 13, 2024 21:04 26m 5s region-cov-rustc
region-cov-rustc
February 13, 2024 21:04 26m 5s
Emit coverage only if counter incr Kani CI #827: Commit 6853ec4 pushed by adpaco-aws
February 13, 2024 20:55 37m 32s region-cov-rustc
region-cov-rustc
February 13, 2024 20:55 37m 32s
Demo: Assertion loses info unless in a block Kani CI #826: Commit 8f86333 pushed by adpaco-aws
February 8, 2024 22:02 41m 38s assert-loses-info
assert-loses-info
February 8, 2024 22:02 41m 38s
ProTip! You can narrow down the results and go further in time using created:<2024-02-08 or the other filters available.