Skip to content

Actions: adpaco-aws/rmc

Actions

Kani Format Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format-check.yml
398 workflow runs
398 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Documentation for main methods Kani Format Check #592: Commit 745a55f pushed by adpaco-aws
September 20, 2024 21:52 1m 49s kanicov-tool
kanicov-tool
September 20, 2024 21:52 1m 49s
More documentation Kani Format Check #591: Commit 812231e pushed by adpaco-aws
September 20, 2024 21:32 1m 57s kanicov-tool
kanicov-tool
September 20, 2024 21:32 1m 57s
Most clippy fixes Kani Format Check #590: Commit 923e606 pushed by adpaco-aws
September 20, 2024 20:47 3m 5s kanicov-tool
kanicov-tool
September 20, 2024 20:47 3m 5s
Add documentation for several functions Kani Format Check #589: Commit 21f2bd8 pushed by adpaco-aws
September 20, 2024 20:17 1m 56s kanicov-tool
kanicov-tool
September 20, 2024 20:17 1m 56s
Clean up: unused imports and commented out code Kani Format Check #588: Commit 7d7ef6c pushed by adpaco-aws
September 20, 2024 15:29 1m 52s kanicov-tool
kanicov-tool
September 20, 2024 15:29 1m 52s
Clippy fixes Kani Format Check #587: Commit 781ba58 pushed by adpaco-aws
September 20, 2024 15:19 3m 24s kanicov-tool
kanicov-tool
September 20, 2024 15:19 3m 24s
Reformat Kani Format Check #586: Commit 06b97f0 pushed by adpaco-aws
September 20, 2024 15:09 1m 44s kanicov-tool
kanicov-tool
September 20, 2024 15:09 1m 44s
Reformat Kani Format Check #585: Commit 0bcb8cc pushed by adpaco-aws
September 20, 2024 14:44 2m 13s issue-cov-save-results
issue-cov-save-results
September 20, 2024 14:44 2m 13s
Fix storing coverage data in cargo projects Kani Format Check #584: Commit cfcaa2a pushed by adpaco-aws
September 20, 2024 14:16 3m 53s issue-cov-save-results
issue-cov-save-results
September 20, 2024 14:16 3m 53s
Complete blessing for coverage tests Kani Format Check #583: Commit 778816a pushed by adpaco-aws
September 19, 2024 17:55 1m 48s kanicov-tool
kanicov-tool
September 19, 2024 17:55 1m 48s
Init. version for terminal reports Kani Format Check #582: Commit 50bb553 pushed by adpaco-aws
September 16, 2024 22:24 1m 50s kanicov-tool
kanicov-tool
September 16, 2024 22:24 1m 50s
Refator some code so it's shared with report Kani Format Check #581: Commit 0df18b9 pushed by adpaco-aws
September 13, 2024 22:30 1m 58s kanicov-tool
kanicov-tool
September 13, 2024 22:30 1m 58s
Produce markdown table with summary Kani Format Check #580: Commit fabdf44 pushed by adpaco-aws
September 13, 2024 15:37 1m 54s kanicov-tool
kanicov-tool
September 13, 2024 15:37 1m 54s
Fixes for clippy Kani Format Check #579: Commit 304cfd2 pushed by adpaco-aws
August 29, 2024 19:39 2m 32s kanicov-tool
kanicov-tool
August 29, 2024 19:39 2m 32s
Start summary command Kani Format Check #578: Commit a659c1a pushed by adpaco-aws
August 29, 2024 19:27 1m 47s kanicov-tool
kanicov-tool
August 29, 2024 19:27 1m 47s
Add license to Cargo.toml Kani Format Check #577: Commit 9e9575a pushed by adpaco-aws
August 29, 2024 14:54 1m 57s kanicov-tool
kanicov-tool
August 29, 2024 14:54 1m 57s
Add missing copyright notices Kani Format Check #576: Commit 0aa25b9 pushed by adpaco-aws
August 28, 2024 20:39 3m 21s kanicov-tool
kanicov-tool
August 28, 2024 20:39 3m 21s
Merge branch 'main' into kanicov-tool Kani Format Check #575: Commit e0b7a10 pushed by adpaco-aws
August 28, 2024 20:28 4m 5s kanicov-tool
kanicov-tool
August 28, 2024 20:28 4m 5s
Merge branch 'main' into rfc-region-cov Kani Format Check #574: Commit 7f5ba8e pushed by adpaco-aws
August 23, 2024 20:39 3m 30s rfc-region-cov
rfc-region-cov
August 23, 2024 20:39 3m 30s
Complete default behavior for Kani coverage workflow Kani Format Check #573: Commit 5ed66ed pushed by adpaco-aws
August 23, 2024 20:30 2m 12s rfc-region-cov
rfc-region-cov
August 23, 2024 20:30 2m 12s
Merge branch 'main' into region-cov-basic Kani Format Check #572: Commit 50e1378 pushed by adpaco-aws
August 23, 2024 17:18 2m 23s region-cov-basic
region-cov-basic
August 23, 2024 17:18 2m 23s
Merge branch 'main' into region-cov-basic Kani Format Check #571: Commit 41882b4 pushed by adpaco-aws
August 23, 2024 16:01 3m 37s region-cov-basic
region-cov-basic
August 23, 2024 16:01 3m 37s
Add comment on regex Kani Format Check #570: Commit 7ad9c8d pushed by adpaco-aws
August 23, 2024 16:01 3m 35s region-cov-basic
region-cov-basic
August 23, 2024 16:01 3m 35s
Remove coverage_args module Kani Format Check #569: Commit 0d56bdd pushed by adpaco-aws
August 22, 2024 14:06 4m 15s region-cov-basic
region-cov-basic
August 22, 2024 14:06 4m 15s
Merge branch 'main' into kanicov-tool Kani Format Check #568: Commit 935dace pushed by adpaco-aws
August 21, 2024 15:01 5m 13s kanicov-tool
kanicov-tool
August 21, 2024 15:01 5m 13s