Skip to content

Actions: carolynzech/verify-rust-std

Actions

Kani

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
179 workflow runs
179 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix Kani #179: Pull request #42 opened by carolynzech
January 17, 2025 23:22 1h 0m 20s metrics-test
metrics-test
January 17, 2025 23:22 1h 0m 20s
Merge pull request #41 from carolynzech/metrics-test Kani #178: Commit 542d4a1 pushed by carolynzech
January 17, 2025 23:00 57m 53s main
main
January 17, 2025 23:00 57m 53s
Metrics test Kani #177: Pull request #41 opened by carolynzech
January 17, 2025 22:58 38m 17s metrics-test
metrics-test
January 17, 2025 22:58 38m 17s
whoops Kani #176: Pull request #40 opened by carolynzech
January 16, 2025 14:21 47m 50s metrics-test
metrics-test
January 16, 2025 14:21 47m 50s
Merge pull request #39 from carolynzech/metrics-test Kani #175: Commit 5a092eb pushed by carolynzech
January 14, 2025 20:35 1h 9m 54s main
main
January 14, 2025 20:35 1h 9m 54s
Metrics test Kani #174: Pull request #39 opened by carolynzech
January 14, 2025 20:35 47m 50s metrics-test
metrics-test
January 14, 2025 20:35 47m 50s
delete kani-list.json instead of ignoring it Kani #173: Commit d518e96 pushed by carolynzech
January 9, 2025 14:44 42m 21s metrics
metrics
January 9, 2025 14:44 42m 21s
add clarifying documentation about totals Kani #172: Pull request #37 opened by carolynzech
January 8, 2025 22:03 59m 8s metrics
metrics
January 8, 2025 22:03 59m 8s
Plot safe functions (which includes safe abstractions) Kani #171: Pull request #35 opened by carolynzech
January 8, 2025 21:02 1h 9m 38s metrics
metrics
January 8, 2025 21:02 1h 9m 38s
Merge pull request #30 from carolynzech/metrics Kani #170: Commit c0f8b53 pushed by carolynzech
January 8, 2025 19:55 1h 53m 23s main
main
January 8, 2025 19:55 1h 53m 23s
Metrics Kani #169: Pull request #30 opened by carolynzech
January 8, 2025 19:55 1h 28m 27s metrics
metrics
January 8, 2025 19:55 1h 28m 27s
only run on Ubuntu Kani #168: Commit f5a4899 pushed by carolynzech
January 8, 2025 19:38 1h 3m 48s metrics
metrics
January 8, 2025 19:38 1h 3m 48s
Kani Kani #167: Manually run by carolynzech
January 8, 2025 18:47 23m 57s metrics-debug
metrics-debug
January 8, 2025 18:47 23m 57s
put it in kani workflow just to get it to run on macos Kani #166: Commit a343f40 pushed by carolynzech
January 8, 2025 18:47 1h 55m 5s metrics-debug
metrics-debug
January 8, 2025 18:47 1h 55m 5s
Merge pull request #28 from carolynzech/metrics-debug Kani #165: Commit 50fe840 pushed by carolynzech
January 8, 2025 17:16 2h 55m 56s main
main
January 8, 2025 17:16 2h 55m 56s
merge into main so that I can run the workflow Kani #164: Pull request #28 opened by carolynzech
January 8, 2025 17:16 2h 25m 51s metrics-debug
metrics-debug
January 8, 2025 17:16 2h 25m 51s
run generic metrics first to get output faster Kani #163: Commit 76972c2 pushed by carolynzech
January 8, 2025 17:03 2h 22m 21s metrics-debug
metrics-debug
January 8, 2025 17:03 2h 22m 21s
cat files for debugging Kani #162: Commit e8c4d9c pushed by carolynzech
January 8, 2025 16:57 2h 1m 48s metrics-debug
metrics-debug
January 8, 2025 16:57 2h 1m 48s
try passing --path to fix tool_config file not found Kani #161: Pull request #26 opened by carolynzech
January 8, 2025 15:21 3h 4m 54s metrics
metrics
January 8, 2025 15:21 3h 4m 54s
fix file not found in workflow Kani #160: Pull request #25 opened by carolynzech
January 8, 2025 15:18 2h 34m 40s metrics
metrics
January 8, 2025 15:18 2h 34m 40s
typo Kani #159: Pull request #24 opened by carolynzech
January 8, 2025 15:15 2h 19m 8s metrics
metrics
January 8, 2025 15:15 2h 19m 8s
Merge pull request #23 from carolynzech/metrics Kani #158: Commit d9d3a96 pushed by carolynzech
January 8, 2025 15:05 1h 58m 48s main
main
January 8, 2025 15:05 1h 58m 48s
Run format check in our CI and fix repo format (#205) Kani #157: Commit 2b2baa8 pushed by carolynzech
January 8, 2025 15:05 1h 30m 48s main
main
January 8, 2025 15:05 1h 30m 48s
Metrics Kani #156: Pull request #23 opened by carolynzech
January 8, 2025 15:05 1h 1m 1s metrics
metrics
January 8, 2025 15:05 1h 1m 1s
Add metrics collection to run-kani script Kani #155: Commit 5a04e6e pushed by carolynzech
January 8, 2025 14:59 46m 39s metrics
metrics
January 8, 2025 14:59 46m 39s