Skip to content

Actions: tautschnig/verify-rust-std

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
198 workflow runs
198 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' into nonnull-challenge Kani #22: Commit 969f103 pushed by tautschnig
August 20, 2024 11:46 6m 1s nonnull-challenge
nonnull-challenge
August 20, 2024 11:46 6m 1s
Merge branch 'main' into nonnull-challenge Rust Tests #22: Commit 969f103 pushed by tautschnig
August 20, 2024 11:46 6m 44s nonnull-challenge
nonnull-challenge
August 20, 2024 11:46 6m 44s
Updated URL Build Book #4: Commit a9d6e5c pushed by tautschnig
August 16, 2024 12:25 4m 26s nonnull-challenge
nonnull-challenge
August 16, 2024 12:25 4m 26s
Challenge proposal: NonNull Build Book #3: Commit 8ad12bb pushed by tautschnig
August 16, 2024 12:22 4m 33s nonnull-challenge
nonnull-challenge
August 16, 2024 12:22 4m 33s
Merge remote-tracking branch 'origin/main' into align-harness Kani #21: Commit 79f2d79 pushed by tautschnig
August 16, 2024 11:26 3m 29s align-harness
align-harness
August 16, 2024 11:26 3m 29s
Merge remote-tracking branch 'origin/main' into align-harness Rust Tests #21: Commit 79f2d79 pushed by tautschnig
August 16, 2024 11:26 7m 18s align-harness
align-harness
August 16, 2024 11:26 7m 18s
Move to ensures where possible Rust Tests #20: Commit 2bb8317 pushed by tautschnig
August 12, 2024 10:15 13m 12s unique
unique
August 12, 2024 10:15 13m 12s
Move to ensures where possible Kani #20: Commit 2bb8317 pushed by tautschnig
August 12, 2024 10:15 4m 45s unique
unique
August 12, 2024 10:15 4m 45s
Try disabling one more clause Rust Tests #19: Commit 5231a68 pushed by tautschnig
August 9, 2024 19:51 14m 1s layout-harnesses
layout-harnesses
August 9, 2024 19:51 14m 1s
Try disabling one more clause Kani #19: Commit 5231a68 pushed by tautschnig
August 9, 2024 19:51 6m 6s layout-harnesses
layout-harnesses
August 9, 2024 19:51 6m 6s
Fixed contracts Rust Tests #18: Commit 4156263 pushed by tautschnig
August 9, 2024 13:46 13m 50s layout-harnesses
layout-harnesses
August 9, 2024 13:46 13m 50s
Fixed contracts Kani #18: Commit 4156263 pushed by tautschnig
August 9, 2024 13:46 6h 0m 26s layout-harnesses
layout-harnesses
August 9, 2024 13:46 6h 0m 26s
Add assumptions Kani #17: Commit 45505ed pushed by tautschnig
August 9, 2024 13:33 5m 24s layout-harnesses
layout-harnesses
August 9, 2024 13:33 5m 24s
Add assumptions Rust Tests #17: Commit 45505ed pushed by tautschnig
August 9, 2024 13:33 15m 32s layout-harnesses
layout-harnesses
August 9, 2024 13:33 15m 32s
Avoid multiplication Rust Tests #16: Commit e331419 pushed by tautschnig
August 9, 2024 13:15 13m 40s layout-harnesses
layout-harnesses
August 9, 2024 13:15 13m 40s
Avoid multiplication Kani #16: Commit e331419 pushed by tautschnig
August 9, 2024 13:15 5m 11s layout-harnesses
layout-harnesses
August 9, 2024 13:15 5m 11s
Wrong clause was caught Rust Tests #15: Commit 0b62529 pushed by tautschnig
August 9, 2024 11:18 13m 5s layout-harnesses
layout-harnesses
August 9, 2024 11:18 13m 5s
Wrong clause was caught Kani #15: Commit 0b62529 pushed by tautschnig
August 9, 2024 11:18 6h 0m 28s layout-harnesses
layout-harnesses
August 9, 2024 11:18 6h 0m 28s
Add more ensures clauses Kani #14: Commit 8c21272 pushed by tautschnig
August 8, 2024 11:16 6h 0m 29s layout-harnesses
layout-harnesses
August 8, 2024 11:16 6h 0m 29s
Add more ensures clauses Rust Tests #14: Commit 8c21272 pushed by tautschnig
August 8, 2024 11:16 16m 36s layout-harnesses
layout-harnesses
August 8, 2024 11:16 16m 36s
Merge remote-tracking branch 'origin/main' into align-harness Rust Tests #13: Commit a91dcad pushed by tautschnig
August 8, 2024 09:40 12m 27s align-harness
align-harness
August 8, 2024 09:40 12m 27s
Merge remote-tracking branch 'origin/main' into align-harness Kani #13: Commit a91dcad pushed by tautschnig
August 8, 2024 09:40 4m 35s align-harness
align-harness
August 8, 2024 09:40 4m 35s
Add ensures where possible Kani #12: Commit 7fdbc77 pushed by tautschnig
August 8, 2024 09:40 4m 41s align-harness
align-harness
August 8, 2024 09:40 4m 41s
Add ensures where possible Rust Tests #12: Commit 7fdbc77 pushed by tautschnig
August 8, 2024 09:40 12m 52s align-harness
align-harness
August 8, 2024 09:40 12m 52s
Add more clauses per feedback Rust Tests #11: Commit 9c1738c pushed by tautschnig
August 5, 2024 11:08 13m 38s align-harness
align-harness
August 5, 2024 11:08 13m 38s