Skip to content

Actions: tautschnig/verify-rust-std

Actions

Rust Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rustc.yml
133 workflow runs
133 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add contract to from_mut_unchecked Rust Tests #83: Commit 7603984 pushed by tautschnig
April 23, 2025 08:51 4m 32s unchecked_mull_add
unchecked_mull_add
April 23, 2025 08:51 4m 32s
Squash duplicate space in markdown file Rust Tests #82: Commit 673fec8 pushed by tautschnig
April 23, 2025 08:05 7m 33s autoharness-support
autoharness-support
April 23, 2025 08:05 7m 33s
Merge branch 'main' into autoharness-support Rust Tests #81: Commit 3c48d5a pushed by tautschnig
April 22, 2025 21:13 7m 24s autoharness-support
autoharness-support
April 22, 2025 21:13 7m 24s
Don't use doc comment Rust Tests #80: Commit fbba41c pushed by tautschnig
April 22, 2025 13:20 13m 31s autoharness-support
autoharness-support
April 22, 2025 13:20 13m 31s
Use autoharness for several Alignment functions Rust Tests #79: Commit 7d4ed19 pushed by tautschnig
April 22, 2025 11:38 4m 41s autoharness-support
autoharness-support
April 22, 2025 11:38 4m 41s
Fix format Rust Tests #78: Commit e2c02cf pushed by tautschnig
April 18, 2025 14:58 45m 32s iter-range-rs-contracts
iter-range-rs-contracts
April 18, 2025 14:58 45m 32s
Fix format Rust Tests #77: Commit d97b770 pushed by tautschnig
April 18, 2025 14:57 53m 9s alloc-rs-contracts
alloc-rs-contracts
April 18, 2025 14:57 53m 9s
Add safety preconditions to core/src/iter/range.rs Rust Tests #76: Commit c2f3b8b pushed by tautschnig
April 18, 2025 14:51 21m 34s iter-range-rs-contracts
iter-range-rs-contracts
April 18, 2025 14:51 21m 34s
Add safety preconditions to std/src/alloc.rs Rust Tests #75: Commit e503889 pushed by tautschnig
April 18, 2025 14:50 5m 1s alloc-rs-contracts
alloc-rs-contracts
April 18, 2025 14:50 5m 1s
Add safety preconditions to std/src/alloc.rs Rust Tests #74: Commit 9d6fc57 pushed by tautschnig
April 18, 2025 14:50 4m 46s alloc-rs-contracts
alloc-rs-contracts
April 18, 2025 14:50 4m 46s
Subtree update automation: create merge PR even when subtree/library … Rust Tests #73: Commit ce3aa02 pushed by tautschnig
April 15, 2025 12:22 6m 51s main
main
April 15, 2025 12:22 6m 51s
Add script to text-extract all contracts Rust Tests #72: Commit 130df89 pushed by tautschnig
April 14, 2025 10:59 7m 14s metrics-tooling
metrics-tooling
April 14, 2025 10:59 7m 14s
Subtree update automation: do not use git subtree merge --squash Rust Tests #71: Commit 24a1ae1 pushed by tautschnig
March 27, 2025 10:34 7m 5s automation-fixes
automation-fixes
March 27, 2025 10:34 7m 5s
Subtree update automation: do not use git subtree merge --squash Rust Tests #70: Commit d1b7eb8 pushed by tautschnig
March 26, 2025 10:49 7m 22s main
main
March 26, 2025 10:49 7m 22s
Hack no longer required (take 2) Rust Tests #69: Commit 2c173ac pushed by tautschnig
March 20, 2025 18:50 6m 57s metrics-std
metrics-std
March 20, 2025 18:50 6m 57s
Make explicit that we refer to all crates Rust Tests #68: Commit 49ec90c pushed by tautschnig
March 20, 2025 11:52 7m 5s metrics-std
metrics-std
March 20, 2025 11:52 7m 5s
Hack no longer required Rust Tests #67: Commit 9c5e56a pushed by tautschnig
March 20, 2025 09:00 7m 23s main
main
March 20, 2025 09:00 7m 23s
Merge branch 'main' into automation-cleanup-submodule Rust Tests #66: Commit 6e06a31 pushed by thanhnguyen-aws
March 19, 2025 16:04 8m 14s automation-cleanup-submodule
automation-cleanup-submodule
March 19, 2025 16:04 8m 14s
Subtree update automation: use fast version of subtree split Rust Tests #65: Commit b664d13 pushed by tautschnig
March 11, 2025 09:17 7m 42s main
main
March 11, 2025 09:17 7m 42s
Merge remote-tracking branch 'origin/main' into subtree/library Rust Tests #64: Commit 5859114 pushed by tautschnig
February 20, 2025 08:31 7m 44s main
main
February 20, 2025 08:31 7m 44s
Extend workflow to include merge attempt Rust Tests #63: Commit e425bf8 pushed by tautschnig
February 20, 2025 08:19 8m 31s main
main
February 20, 2025 08:19 8m 31s
Merge branch 'main' into automate-subtree-update Rust Tests #62: Commit 46c8b34 pushed by tautschnig
February 19, 2025 18:49 7m 59s automate-subtree-update
automate-subtree-update
February 19, 2025 18:49 7m 59s
some fixes Rust Tests #61: Commit e991fb0 pushed by thanhnguyen-aws
February 18, 2025 17:49 5m 38s sync-2025-01-16
sync-2025-01-16
February 18, 2025 17:49 5m 38s
fix format Rust Tests #60: Commit 28233ff pushed by thanhnguyen-aws
February 14, 2025 17:54 8m 48s sync-2025-01-16
sync-2025-01-16
February 14, 2025 17:54 8m 48s
uncomment some contracts Rust Tests #59: Commit 5e58f80 pushed by thanhnguyen-aws
February 11, 2025 22:57 4m 58s sync-2025-01-16
sync-2025-01-16
February 11, 2025 22:57 4m 58s