Skip to content

Actions: carolynzech/verify-rust-std

Actions

Rust Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rustc.yml
126 workflow runs
126 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix Rust Tests #126: Pull request #42 opened by carolynzech
January 17, 2025 23:22 18m 58s metrics-test
metrics-test
January 17, 2025 23:22 18m 58s
Metrics test Rust Tests #125: Pull request #41 opened by carolynzech
January 17, 2025 22:58 7m 40s metrics-test
metrics-test
January 17, 2025 22:58 7m 40s
whoops Rust Tests #124: Pull request #40 opened by carolynzech
January 16, 2025 14:21 8m 28s metrics-test
metrics-test
January 16, 2025 14:21 8m 28s
Metrics test Rust Tests #123: Pull request #39 opened by carolynzech
January 14, 2025 20:35 8m 43s metrics-test
metrics-test
January 14, 2025 20:35 8m 43s
add clarifying documentation about totals Rust Tests #122: Pull request #37 opened by carolynzech
January 8, 2025 22:03 50m 57s metrics
metrics
January 8, 2025 22:03 50m 57s
Plot safe functions (which includes safe abstractions) Rust Tests #121: Pull request #35 opened by carolynzech
January 8, 2025 21:02 29m 54s metrics
metrics
January 8, 2025 21:02 29m 54s
Metrics Rust Tests #120: Pull request #30 opened by carolynzech
January 8, 2025 19:55 55m 8s metrics
metrics
January 8, 2025 19:55 55m 8s
merge into main so that I can run the workflow Rust Tests #119: Pull request #28 opened by carolynzech
January 8, 2025 17:16 1h 44m 52s metrics-debug
metrics-debug
January 8, 2025 17:16 1h 44m 52s
try passing --path to fix tool_config file not found Rust Tests #118: Pull request #26 opened by carolynzech
January 8, 2025 15:21 2h 29m 26s metrics
metrics
January 8, 2025 15:21 2h 29m 26s
fix file not found in workflow Rust Tests #117: Pull request #25 opened by carolynzech
January 8, 2025 15:18 2h 24m 33s metrics
metrics
January 8, 2025 15:18 2h 24m 33s
typo Rust Tests #116: Pull request #24 opened by carolynzech
January 8, 2025 15:15 1h 28m 35s metrics
metrics
January 8, 2025 15:15 1h 28m 35s
Run format check in our CI and fix repo format (#205) Rust Tests #115: Commit 2b2baa8 pushed by carolynzech
January 8, 2025 15:05 1h 9m 5s main
main
January 8, 2025 15:05 1h 9m 5s
Metrics Rust Tests #114: Pull request #23 opened by carolynzech
January 8, 2025 15:05 7m 12s metrics
metrics
January 8, 2025 15:05 7m 12s
update run-kani.sh to accept list format as an argument Rust Tests #113: Commit 0e915ee pushed by carolynzech
December 19, 2024 21:57 6m 17s metrics
metrics
December 19, 2024 21:57 6m 17s
Parallel verification Rust Tests #112: Pull request #21 synchronize by carolynzech
December 19, 2024 17:48 2h 12m 14s parallel-verification
parallel-verification
December 19, 2024 17:48 2h 12m 14s
Parallel verification Rust Tests #111: Pull request #21 synchronize by carolynzech
December 19, 2024 17:39 34m 16s parallel-verification
parallel-verification
December 19, 2024 17:39 34m 16s
put comment back Rust Tests #110: Commit 9958c7e pushed by carolynzech
December 19, 2024 17:26 6m 9s carrying-mul-harness-perf
carrying-mul-harness-perf
December 19, 2024 17:26 6m 9s
change solver to kissat instead Rust Tests #109: Commit b9ed731 pushed by carolynzech
December 19, 2024 17:26 6m 31s carrying-mul-harness-perf
carrying-mul-harness-perf
December 19, 2024 17:26 6m 31s
Parallel verification Rust Tests #108: Pull request #21 synchronize by carolynzech
December 18, 2024 19:37 1h 2m 8s parallel-verification
parallel-verification
December 18, 2024 19:37 1h 2m 8s
reduce carrying_mul to use intervals Rust Tests #107: Commit 6c09ba2 pushed by carolynzech
December 18, 2024 19:06 1h 3m 35s carrying-mul-harness-perf
carrying-mul-harness-perf
December 18, 2024 19:06 1h 3m 35s
Parallel verification Rust Tests #106: Pull request #21 synchronize by carolynzech
December 18, 2024 17:45 2h 17m 52s parallel-verification
parallel-verification
December 18, 2024 17:45 2h 17m 52s
Test Rust Tests #105: Pull request #22 synchronize by carolynzech
December 18, 2024 17:01 1h 13m 18s test
test
December 18, 2024 17:01 1h 13m 18s
Test Rust Tests #104: Pull request #22 synchronize by carolynzech
December 18, 2024 16:49 47m 30s test
test
December 18, 2024 16:49 47m 30s
Test Rust Tests #103: Pull request #22 synchronize by carolynzech
December 18, 2024 16:35 21m 13s test
test
December 18, 2024 16:35 21m 13s
Remove non-endorsement note (#227) Rust Tests #102: Commit 928c07e pushed by carolynzech
December 18, 2024 16:23 16m 11s main
main
December 18, 2024 16:23 16m 11s