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

Add documentation for several functions Kani CI #1075: Commit 21f2bd8 pushed by adpaco-aws
September 20, 2024 20:17 38m 3s kanicov-tool
kanicov-tool
September 20, 2024 20:17 38m 3s
Clean up: unused imports and commented out code Kani CI #1074: Commit 7d7ef6c pushed by adpaco-aws
September 20, 2024 15:29 33m 1s kanicov-tool
kanicov-tool
September 20, 2024 15:29 33m 1s
Clippy fixes Kani CI #1073: Commit 781ba58 pushed by adpaco-aws
September 20, 2024 15:19 34m 32s kanicov-tool
kanicov-tool
September 20, 2024 15:19 34m 32s
Reformat Kani CI #1072: Commit 06b97f0 pushed by adpaco-aws
September 20, 2024 15:09 33m 42s kanicov-tool
kanicov-tool
September 20, 2024 15:09 33m 42s
Reformat Kani CI #1071: Commit 0bcb8cc pushed by adpaco-aws
September 20, 2024 14:44 55m 28s issue-cov-save-results
issue-cov-save-results
September 20, 2024 14:44 55m 28s
Fix storing coverage data in cargo projects Kani CI #1070: Commit cfcaa2a pushed by adpaco-aws
September 20, 2024 14:16 32m 24s issue-cov-save-results
issue-cov-save-results
September 20, 2024 14:16 32m 24s
Complete blessing for coverage tests Kani CI #1069: Commit 778816a pushed by adpaco-aws
September 19, 2024 17:55 28m 6s kanicov-tool
kanicov-tool
September 19, 2024 17:55 28m 6s
Init. version for terminal reports Kani CI #1068: Commit 50bb553 pushed by adpaco-aws
September 16, 2024 22:24 27m 50s kanicov-tool
kanicov-tool
September 16, 2024 22:24 27m 50s
Refator some code so it's shared with report Kani CI #1067: Commit 0df18b9 pushed by adpaco-aws
September 13, 2024 22:30 30m 19s kanicov-tool
kanicov-tool
September 13, 2024 22:30 30m 19s
Produce markdown table with summary Kani CI #1066: Commit fabdf44 pushed by adpaco-aws
September 13, 2024 15:37 30m 38s kanicov-tool
kanicov-tool
September 13, 2024 15:37 30m 38s
Fixes for clippy Kani CI #1065: Commit 304cfd2 pushed by adpaco-aws
August 29, 2024 19:39 41m 0s kanicov-tool
kanicov-tool
August 29, 2024 19:39 41m 0s
Start summary command Kani CI #1064: Commit a659c1a pushed by adpaco-aws
August 29, 2024 19:27 27m 14s kanicov-tool
kanicov-tool
August 29, 2024 19:27 27m 14s
Add license to Cargo.toml Kani CI #1063: Commit 9e9575a pushed by adpaco-aws
August 29, 2024 14:54 30m 39s kanicov-tool
kanicov-tool
August 29, 2024 14:54 30m 39s
Add missing copyright notices Kani CI #1062: Commit 0aa25b9 pushed by adpaco-aws
August 28, 2024 20:39 29m 37s kanicov-tool
kanicov-tool
August 28, 2024 20:39 29m 37s
Merge branch 'main' into kanicov-tool Kani CI #1061: Commit e0b7a10 pushed by adpaco-aws
August 28, 2024 20:28 32m 43s kanicov-tool
kanicov-tool
August 28, 2024 20:28 32m 43s
Merge branch 'main' into rfc-region-cov Kani CI #1060: Commit 7f5ba8e pushed by adpaco-aws
August 23, 2024 20:39 40m 3s rfc-region-cov
rfc-region-cov
August 23, 2024 20:39 40m 3s
Complete default behavior for Kani coverage workflow Kani CI #1059: Commit 5ed66ed pushed by adpaco-aws
August 23, 2024 20:30 41m 36s rfc-region-cov
rfc-region-cov
August 23, 2024 20:30 41m 36s
Merge branch 'main' into region-cov-basic Kani CI #1058: Commit 50e1378 pushed by adpaco-aws
August 23, 2024 17:18 51m 47s region-cov-basic
region-cov-basic
August 23, 2024 17:18 51m 47s
Merge branch 'main' into region-cov-basic Kani CI #1057: Commit 41882b4 pushed by adpaco-aws
August 23, 2024 16:01 53m 15s region-cov-basic
region-cov-basic
August 23, 2024 16:01 53m 15s
Add comment on regex Kani CI #1056: Commit 7ad9c8d pushed by adpaco-aws
August 23, 2024 16:01 55m 15s region-cov-basic
region-cov-basic
August 23, 2024 16:01 55m 15s
Remove coverage_args module Kani CI #1055: Commit 0d56bdd pushed by adpaco-aws
August 22, 2024 14:06 52m 35s region-cov-basic
region-cov-basic
August 22, 2024 14:06 52m 35s
Merge branch 'main' into kanicov-tool Kani CI #1054: Commit 935dace pushed by adpaco-aws
August 21, 2024 15:01 25m 17s kanicov-tool
kanicov-tool
August 21, 2024 15:01 25m 17s
Fix up some expected outputs Kani CI #1053: Commit fb7c9e9 pushed by adpaco-aws
August 21, 2024 14:55 42m 54s region-cov-basic
region-cov-basic
August 21, 2024 14:55 42m 54s
Reorganize and document tests Kani CI #1052: Commit c0cc10d pushed by adpaco-aws
August 20, 2024 23:08 28m 47s region-cov-basic
region-cov-basic
August 20, 2024 23:08 28m 47s
Use time instead of chrono Kani CI #1051: Commit e6165a2 pushed by adpaco-aws
August 20, 2024 20:23 31m 13s region-cov-basic
region-cov-basic
August 20, 2024 20:23 31m 13s