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

Kani: use -Z unstable-options instead of --enable-unstable Rust Tests #133: Commit b1a7e11 pushed by tautschnig
June 8, 2025 17:49 6m 41s no-enable-unstable
no-enable-unstable
June 8, 2025 17:49 6m 41s
Fix subtree update action Rust Tests #132: Commit 160d315 pushed by tautschnig
June 2, 2025 18:44 7m 8s fixup-subtree-update
fixup-subtree-update
June 2, 2025 18:44 7m 8s
Free up disk space to ensure successful execution of jobs Rust Tests #131: Commit a88d8f6 pushed by tautschnig
June 2, 2025 08:58 8m 34s free-up-disk-space
free-up-disk-space
June 2, 2025 08:58 8m 34s
Remove whitespace Rust Tests #130: Commit 6258c7d pushed by tautschnig
May 30, 2025 10:50 27m 48s iter-range-rs-contracts
iter-range-rs-contracts
May 30, 2025 10:50 27m 48s
Amend AsciiChar preconditions Rust Tests #129: Commit 8ee85f5 pushed by tautschnig
May 30, 2025 10:41 10m 53s iter-range-rs-contracts
iter-range-rs-contracts
May 30, 2025 10:41 10m 53s
Update library/core/src/iter/range.rs Rust Tests #128: Commit 44bf92b pushed by tautschnig
May 30, 2025 10:16 29m 2s iter-range-rs-contracts
iter-range-rs-contracts
May 30, 2025 10:16 29m 2s
Update library/core/src/iter/range.rs Rust Tests #127: Commit 16e6b0a pushed by tautschnig
May 30, 2025 10:16 17m 33s iter-range-rs-contracts
iter-range-rs-contracts
May 30, 2025 10:16 17m 33s
Update library/core/src/iter/range.rs Rust Tests #126: Commit 0ccaf2f pushed by tautschnig
May 30, 2025 10:16 27m 4s iter-range-rs-contracts
iter-range-rs-contracts
May 30, 2025 10:16 27m 4s
Merge branch 'main' into core_arch_x86-arbitrary Rust Tests #125: Commit 39a7335 pushed by tautschnig
May 30, 2025 09:58 13m 10s core_arch_x86-arbitrary
core_arch_x86-arbitrary
May 30, 2025 09:58 13m 10s
Add comment Rust Tests #124: Commit f67539e pushed by tautschnig
May 30, 2025 09:54 8m 33s unchecked_mull_add
unchecked_mull_add
May 30, 2025 09:54 8m 33s
Merge branch 'main' into contracts-uint_macros Rust Tests #123: Commit 88cfe84 pushed by carolynzech
May 22, 2025 16:28 7m 8s contracts-uint_macros
contracts-uint_macros
May 22, 2025 16:28 7m 8s
Merge branch 'main' into core_arch_x86-arbitrary Rust Tests #122: Commit 3cae612 pushed by tautschnig
May 20, 2025 17:41 29m 57s core_arch_x86-arbitrary
core_arch_x86-arbitrary
May 20, 2025 17:41 29m 57s
Merge branch 'main' into iter-range-rs-contracts Rust Tests #121: Commit 24ea4b1 pushed by tautschnig
May 20, 2025 17:39 30m 49s iter-range-rs-contracts
iter-range-rs-contracts
May 20, 2025 17:39 30m 49s
Merge branch 'main' into alloc-rs-contracts Rust Tests #120: Commit 1952eb1 pushed by tautschnig
May 20, 2025 17:39 28m 59s alloc-rs-contracts
alloc-rs-contracts
May 20, 2025 17:39 28m 59s
Merge branch 'main' into unchecked_mull_add Rust Tests #119: Commit cd7db54 pushed by tautschnig
May 20, 2025 17:17 7m 56s unchecked_mull_add
unchecked_mull_add
May 20, 2025 17:17 7m 56s
Merge branch 'main' into contracts-uint_macros Rust Tests #118: Commit 9588fa8 pushed by tautschnig
May 20, 2025 15:13 1h 3m 11s contracts-uint_macros
contracts-uint_macros
May 20, 2025 15:13 1h 3m 11s
Merge branch 'main' into metrics-tooling2 Rust Tests #117: Commit 8edccef pushed by tautschnig
May 20, 2025 15:12 7m 20s metrics-tooling2
metrics-tooling2
May 20, 2025 15:12 7m 20s
Adjust target lookup Rust Tests #116: Commit 2e6ccae pushed by tautschnig
April 30, 2025 17:32 29m 56s unchecked_mull_add
unchecked_mull_add
April 30, 2025 17:32 29m 56s
Fix contracts Rust Tests #115: Commit 3b3e4f6 pushed by tautschnig
April 30, 2025 12:57 1h 6m 3s iter-range-rs-contracts
iter-range-rs-contracts
April 30, 2025 12:57 1h 6m 3s
Update char contracts Rust Tests #114: Commit a8e23b3 pushed by tautschnig
April 30, 2025 12:45 1h 14m 13s iter-range-rs-contracts
iter-range-rs-contracts
April 30, 2025 12:45 1h 14m 13s
Add preconditions for disjoint_bitor Rust Tests #113: Commit 87919ce pushed by tautschnig
April 30, 2025 09:47 3h 4m 21s contracts-uint_macros
contracts-uint_macros
April 30, 2025 09:47 3h 4m 21s
Add preconditions for disjoint_bitor Rust Tests #112: Commit 5a4c2af pushed by tautschnig
April 30, 2025 09:43 47m 33s contracts-uint_macros
contracts-uint_macros
April 30, 2025 09:43 47m 33s
Fix num::nonzero::NonZero::<*>::rotate_{left,right} contracts Rust Tests #111: Commit d3b7763 pushed by tautschnig
April 30, 2025 09:21 1h 17m 11s fixup-rotate
fixup-rotate
April 30, 2025 09:21 1h 17m 11s
Further contracts Rust Tests #110: Commit 171d1ab pushed by tautschnig
April 30, 2025 09:14 8m 11s iter-range-rs-contracts
iter-range-rs-contracts
April 30, 2025 09:14 8m 11s
Add contracts for NonZero::from_mut_unchecked Rust Tests #109: Commit 196da12 pushed by tautschnig
April 29, 2025 21:08 1h 41m 10s from_mut_unchecked
from_mut_unchecked
April 29, 2025 21:08 1h 41m 10s