Skip to content

Actions: carolynzech/verify-rust-std

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
488 workflow runs
488 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' into invariant Kani #14: Commit 399abaa pushed by carolynzech
September 25, 2024 20:37 12m 22s invariant
invariant
September 25, 2024 20:37 12m 22s
Merge branch 'invariant' of github.com:carolynzech/verify-rust-std in… Rust Tests #13: Commit 084af52 pushed by carolynzech
September 25, 2024 20:25 7m 6s invariant
invariant
September 25, 2024 20:25 7m 6s
Merge branch 'invariant' of github.com:carolynzech/verify-rust-std in… Kani #13: Commit 084af52 pushed by carolynzech
September 25, 2024 20:25 31m 11s invariant
invariant
September 25, 2024 20:25 31m 11s
address PR feedback Build Book #11: Commit f4ed75e pushed by carolynzech
September 25, 2024 19:08 4m 48s atomic-challenge
atomic-challenge
September 25, 2024 19:08 4m 48s
Merge branch 'main' into align-offset-perf Build Book #10: Commit 1a80bb9 pushed by tautschnig
September 24, 2024 09:56 4m 20s align-offset-perf
align-offset-perf
September 24, 2024 09:56 4m 20s
allow unused imports Kani #12: Commit 917cf6a pushed by carolynzech
September 20, 2024 13:58 31m 42s invariant
invariant
September 20, 2024 13:58 31m 42s
allow unused imports Rust Tests #12: Commit 917cf6a pushed by carolynzech
September 20, 2024 13:58 6m 58s invariant
invariant
September 20, 2024 13:58 6m 58s
contracts for unsafe helpers and intrinsics Build Book #9: Commit 3de338c pushed by carolynzech
September 19, 2024 20:38 4m 17s atomic-challenge
atomic-challenge
September 19, 2024 20:38 4m 17s
Merge branch 'invariant' of github.com:carolynzech/verify-rust-std in… Rust Tests #11: Commit 3dba941 pushed by carolynzech
September 19, 2024 18:49 7m 59s invariant
invariant
September 19, 2024 18:49 7m 59s
Merge branch 'invariant' of github.com:carolynzech/verify-rust-std in… Kani #11: Commit 3dba941 pushed by carolynzech
September 19, 2024 18:49 28m 42s invariant
invariant
September 19, 2024 18:49 28m 42s
Merge branch 'main' into invariant Rust Tests #10: Commit 31f405e pushed by carolynzech
September 19, 2024 15:49 8m 10s invariant
invariant
September 19, 2024 15:49 8m 10s
Merge branch 'main' into invariant Kani #10: Commit 31f405e pushed by carolynzech
September 19, 2024 15:49 28m 0s invariant
invariant
September 19, 2024 15:49 28m 0s
add docs for is_safe Rust Tests #9: Commit 51a0cbc pushed by carolynzech
September 19, 2024 15:49 7m 4s invariant
invariant
September 19, 2024 15:49 7m 4s
add docs for is_safe Kani #9: Commit 51a0cbc pushed by carolynzech
September 19, 2024 15:49 34m 10s invariant
invariant
September 19, 2024 15:49 34m 10s
fix unused imports Kani #8: Commit 20696bf pushed by carolynzech
September 19, 2024 14:35 36m 27s invariant
invariant
September 19, 2024 14:35 36m 27s
fix unused imports Rust Tests #8: Commit 20696bf pushed by carolynzech
September 19, 2024 14:35 4m 41s invariant
invariant
September 19, 2024 14:35 4m 41s
add explanatory comment Kani #7: Commit d0abafc pushed by carolynzech
September 19, 2024 13:35 16m 10s align-offset-perf
align-offset-perf
September 19, 2024 13:35 16m 10s
add explanatory comment Rust Tests #7: Commit d0abafc pushed by carolynzech
September 19, 2024 13:35 7m 30s align-offset-perf
align-offset-perf
September 19, 2024 13:35 7m 30s
improve performance for align offset harness Kani #6: Commit 7707ea5 pushed by carolynzech
September 18, 2024 20:54 10m 32s align-offset-perf
align-offset-perf
September 18, 2024 20:54 10m 32s
improve performance for align offset harness Rust Tests #6: Commit 7707ea5 pushed by carolynzech
September 18, 2024 20:54 7m 5s align-offset-perf
align-offset-perf
September 18, 2024 20:54 7m 5s
layout and alignment invariants Kani #5: Commit 33b9d2f pushed by carolynzech
September 18, 2024 16:57 32m 25s invariant
invariant
September 18, 2024 16:57 32m 25s
layout and alignment invariants Rust Tests #5: Commit 33b9d2f pushed by carolynzech
September 18, 2024 16:57 5m 8s invariant
invariant
September 18, 2024 16:57 5m 8s
fix check_cast harness Kani #4: Commit 4c2cbaa pushed by carolynzech
September 17, 2024 20:13 32m 9s remove-generic
remove-generic
September 17, 2024 20:13 32m 9s
fix check_cast harness Rust Tests #4: Commit 4c2cbaa pushed by carolynzech
September 17, 2024 20:13 9m 23s remove-generic
remove-generic
September 17, 2024 20:13 9m 23s
part 1 uses methods instead of helpers Build Book #8: Commit 809ba76 pushed by carolynzech
September 14, 2024 00:08 4m 21s atomic-challenge
atomic-challenge
September 14, 2024 00:08 4m 21s
ProTip! You can narrow down the results and go further in time using created:<2024-09-14 or the other filters available.