Skip to content

Actions: adpaco-aws/rmc

Actions

Cargo Audit

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
audit.yml
380 workflow runs
380 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' into rfc-region-cov Cargo Audit #559: Commit 7f5ba8e pushed by adpaco-aws
August 23, 2024 20:39 1m 0s rfc-region-cov
rfc-region-cov
August 23, 2024 20:39 1m 0s
Complete default behavior for Kani coverage workflow Cargo Audit #558: Commit 5ed66ed pushed by adpaco-aws
August 23, 2024 20:30 1m 0s rfc-region-cov
rfc-region-cov
August 23, 2024 20:30 1m 0s
Merge branch 'main' into region-cov-basic Cargo Audit #557: Commit 50e1378 pushed by adpaco-aws
August 23, 2024 17:18 1m 2s region-cov-basic
region-cov-basic
August 23, 2024 17:18 1m 2s
Merge branch 'main' into region-cov-basic Cargo Audit #556: Commit 41882b4 pushed by adpaco-aws
August 23, 2024 16:01 1m 2s region-cov-basic
region-cov-basic
August 23, 2024 16:01 1m 2s
Add comment on regex Cargo Audit #555: Commit 7ad9c8d pushed by adpaco-aws
August 23, 2024 16:01 1m 19s region-cov-basic
region-cov-basic
August 23, 2024 16:01 1m 19s
Remove coverage_args module Cargo Audit #554: Commit 0d56bdd pushed by adpaco-aws
August 22, 2024 14:06 1m 2s region-cov-basic
region-cov-basic
August 22, 2024 14:06 1m 2s
Merge branch 'main' into kanicov-tool Cargo Audit #553: Commit 935dace pushed by adpaco-aws
August 21, 2024 15:01 1m 39s kanicov-tool
kanicov-tool
August 21, 2024 15:01 1m 39s
Fix up some expected outputs Cargo Audit #552: Commit fb7c9e9 pushed by adpaco-aws
August 21, 2024 14:55 1m 6s region-cov-basic
region-cov-basic
August 21, 2024 14:55 1m 6s
Reorganize and document tests Cargo Audit #551: Commit c0cc10d pushed by adpaco-aws
August 20, 2024 23:08 1m 2s region-cov-basic
region-cov-basic
August 20, 2024 23:08 1m 2s
Use time instead of chrono Cargo Audit #550: Commit e6165a2 pushed by adpaco-aws
August 20, 2024 20:23 1m 8s region-cov-basic
region-cov-basic
August 20, 2024 20:23 1m 8s
Merge branch 'main' into region-cov-basic Cargo Audit #549: Commit f86595b pushed by adpaco-aws
August 20, 2024 19:23 1m 10s region-cov-basic
region-cov-basic
August 20, 2024 19:23 1m 10s
Format Cargo Audit #548: Commit 0943ee3 pushed by adpaco-aws
August 20, 2024 19:22 1m 35s region-cov-basic
region-cov-basic
August 20, 2024 19:22 1m 35s
Undo change in compiletest to run with coverage Cargo Audit #547: Commit 5a574f7 pushed by adpaco-aws
August 20, 2024 19:18 1m 6s region-cov-basic
region-cov-basic
August 20, 2024 19:18 1m 6s
Use $ as the separator for function names Cargo Audit #546: Commit 95e8788 pushed by adpaco-aws
August 16, 2024 20:25 1m 4s region-cov-basic
region-cov-basic
August 16, 2024 20:25 1m 4s
Temp: Run kani-perf.sh with coverage on Cargo Audit #545: Commit 7bfd919 pushed by adpaco-aws
August 16, 2024 18:57 1m 18s region-cov-basic
region-cov-basic
August 16, 2024 18:57 1m 18s
Merge branch 'main' into region-cov-basic Cargo Audit #544: Commit a8bb841 pushed by adpaco-aws
August 15, 2024 20:19 1m 1s region-cov-basic
region-cov-basic
August 15, 2024 20:19 1m 1s
Fix variant.rs test Cargo Audit #543: Commit 9afd0a3 pushed by adpaco-aws
August 15, 2024 20:06 1m 7s region-cov-basic
region-cov-basic
August 15, 2024 20:06 1m 7s
Add running test to coverage Cargo Audit #542: Commit d484c54 pushed by adpaco-aws
August 15, 2024 18:45 1m 1s region-cov-basic
region-cov-basic
August 15, 2024 18:45 1m 1s
Format new test Cargo Audit #541: Commit 93faa8a pushed by adpaco-aws
August 15, 2024 18:39 1m 3s region-cov-basic
region-cov-basic
August 15, 2024 18:39 1m 3s
Merge branch 'main' into region-cov-basic Cargo Audit #540: Commit a94800e pushed by adpaco-aws
August 15, 2024 18:02 1m 2s region-cov-basic
region-cov-basic
August 15, 2024 18:02 1m 2s
Add test for saving coverage results Cargo Audit #539: Commit 8511087 pushed by adpaco-aws
August 15, 2024 17:43 1m 3s region-cov-basic
region-cov-basic
August 15, 2024 17:43 1m 3s
Scaffold coverage results saving for standalone mdoe Cargo Audit #538: Commit db1b1a3 pushed by adpaco-aws
August 14, 2024 21:59 1m 15s region-cov-basic
region-cov-basic
August 14, 2024 21:59 1m 15s
Manual cargo update to see if lock errors go away Cargo Audit #537: Commit be21bd7 pushed by adpaco-aws
August 14, 2024 21:21 1m 2s region-cov-basic
region-cov-basic
August 14, 2024 21:21 1m 2s
Fix format in tests.. Cargo Audit #536: Commit 0262056 pushed by adpaco-aws
August 14, 2024 21:08 1m 23s region-cov-basic
region-cov-basic
August 14, 2024 21:08 1m 23s
Fix postprocess with closures - bless test too Cargo Audit #535: Commit 6eefd6f pushed by adpaco-aws
August 14, 2024 20:58 58s region-cov-basic
region-cov-basic
August 14, 2024 20:58 58s