Skip to content

Actions: carolynzech/verify-rust-std

Actions

Kani

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
185 workflow runs
185 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Sync 2025 01 16 Kani #185: Pull request #43 synchronize by carolynzech
February 17, 2025 16:05 1h 36m 29s sync-2025-01-16
sync-2025-01-16
February 17, 2025 16:05 1h 36m 29s
try removing kani parallelism Kani #184: Commit 7214000 pushed by carolynzech
February 17, 2025 16:05 12h 1m 1s sync-2025-01-16
sync-2025-01-16
February 17, 2025 16:05 12h 1m 1s
Sync 2025 01 16 Kani #183: Pull request #43 synchronize by carolynzech
February 14, 2025 21:13 1d 7h 11m 49s sync-2025-01-16
sync-2025-01-16
February 14, 2025 21:13 1d 7h 11m 49s
worker total should match Kani #182: Commit 99b879e pushed by carolynzech
February 14, 2025 21:13 23h 55m 59s sync-2025-01-16
sync-2025-01-16
February 14, 2025 21:13 23h 55m 59s
Sync 2025 01 16 Kani #181: Pull request #43 opened by carolynzech
February 14, 2025 21:08 12h 0m 7s sync-2025-01-16
sync-2025-01-16
February 14, 2025 21:08 12h 0m 7s
try partitioning more to lighten the load Kani #180: Commit 8a3fc5a pushed by carolynzech
February 14, 2025 21:07 6h 0m 42s sync-2025-01-16
sync-2025-01-16
February 14, 2025 21:07 6h 0m 42s
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
Kani 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