Skip to content

Actions: tautschnig/verify-rust-std

Actions

Build Book

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
book.yml
49 workflow runs
49 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Ipv6Addr Build Book #49: Commit 07490e9 pushed by tautschnig
July 10, 2025 17:40 6m 52s iter-range-rs-contracts
iter-range-rs-contracts
July 10, 2025 17:40 6m 52s
Merge remote-tracking branch 'origin/main' into from_mut_unchecked Build Book #48: Commit e160d11 pushed by tautschnig
July 10, 2025 16:00 6m 41s from_mut_unchecked
from_mut_unchecked
July 10, 2025 16:00 6m 41s
Subtree update automation: update submodules Build Book #47: Commit 2459b0f pushed by tautschnig
June 23, 2025 10:12 36m 6s main
main
June 23, 2025 10:12 36m 6s
Subtree update automation: update submodules Build Book #46: Commit 2459b0f pushed by tautschnig
June 23, 2025 10:11 6m 52s update-automation-submodule
update-automation-submodule
June 23, 2025 10:11 6m 52s
Amend AsciiChar preconditions Build Book #45: Commit 8ee85f5 pushed by tautschnig
May 30, 2025 10:41 9m 11s iter-range-rs-contracts
iter-range-rs-contracts
May 30, 2025 10:41 9m 11s
Merge branch 'main' into core_arch_x86-arbitrary Build Book #44: Commit 39a7335 pushed by tautschnig
May 30, 2025 09:58 6m 52s core_arch_x86-arbitrary
core_arch_x86-arbitrary
May 30, 2025 09:58 6m 52s
Merge branch 'main' into contracts-uint_macros Build Book #43: Commit 88cfe84 pushed by carolynzech
May 22, 2025 16:28 5m 39s contracts-uint_macros
contracts-uint_macros
May 22, 2025 16:28 5m 39s
Merge remote-tracking branch 'tautschnig/unchecked_mull_add' into unc… Build Book #42: Commit cc23429 pushed by tautschnig
April 29, 2025 21:03 42m 57s unchecked_mull_add
unchecked_mull_add
April 29, 2025 21:03 42m 57s
Add autoharness calls Build Book #41: Commit a938e9c pushed by tautschnig
April 29, 2025 20:46 36m 13s iter-range-rs-contracts
iter-range-rs-contracts
April 29, 2025 20:46 36m 13s
Merge remote-tracking branch 'origin/main' into alloc-rs-contracts Build Book #40: Commit 0c569a7 pushed by tautschnig
April 29, 2025 20:42 5m 55s alloc-rs-contracts
alloc-rs-contracts
April 29, 2025 20:42 5m 55s
Use log parser in workflow Build Book #39: Commit f14ef45 pushed by tautschnig
April 29, 2025 20:37 5m 33s metrics-tooling2
metrics-tooling2
April 29, 2025 20:37 5m 33s
Merge remote-tracking branch 'origin/main' into autoharness-support Build Book #38: Commit 01ae84e pushed by tautschnig
April 29, 2025 09:30 5m 24s autoharness-support
autoharness-support
April 29, 2025 09:30 5m 24s
Add autoharness-analyzer CI job Build Book #37: Commit eff5200 pushed by tautschnig
April 28, 2025 08:25 11m 21s main
main
April 28, 2025 08:25 11m 21s
Add autoharness-analyzer CI job Build Book #36: Commit eff5200 pushed by tautschnig
April 28, 2025 08:24 5m 43s autoharness-analyzer
autoharness-analyzer
April 28, 2025 08:24 5m 43s
Add contract to from_mut_unchecked Build Book #35: Commit 7603984 pushed by tautschnig
April 23, 2025 08:51 5m 43s unchecked_mull_add
unchecked_mull_add
April 23, 2025 08:51 5m 43s
Subtree update automation: create merge PR even when subtree/library … Build Book #34: Commit ce3aa02 pushed by tautschnig
April 15, 2025 12:22 5m 53s main
main
April 15, 2025 12:22 5m 53s
Add script to text-extract all contracts Build Book #33: Commit 130df89 pushed by tautschnig
April 14, 2025 10:59 5m 53s metrics-tooling
metrics-tooling
April 14, 2025 10:59 5m 53s
Subtree update automation: do not use git subtree merge --squash Build Book #32: Commit 24a1ae1 pushed by tautschnig
March 27, 2025 10:34 5m 24s automation-fixes
automation-fixes
March 27, 2025 10:34 5m 24s
Subtree update automation: do not use git subtree merge --squash Build Book #31: Commit d1b7eb8 pushed by tautschnig
March 26, 2025 10:49 5m 33s main
main
March 26, 2025 10:49 5m 33s
Subtree update automation: do not use git subtree merge --squash Build Book #30: Commit a25edfb pushed by tautschnig
March 21, 2025 14:54 5m 44s automation-fixes
automation-fixes
March 21, 2025 14:54 5m 44s
Hack no longer required Build Book #29: Commit 9c5e56a pushed by tautschnig
March 20, 2025 09:00 6m 5s main
main
March 20, 2025 09:00 6m 5s
Track loop stats for functions Build Book #28: Commit 057ed6b pushed by tautschnig
February 25, 2025 13:13 5m 21s main
main
February 25, 2025 13:13 5m 21s
Fix and require --metrics-file argument use Build Book #27: Commit 7e724d4 pushed by tautschnig
February 25, 2025 12:27 6m 19s metrics-std
metrics-std
February 25, 2025 12:27 6m 19s
Track metrics for core and std crates Build Book #26: Commit 8bfdd7c pushed by tautschnig
February 24, 2025 15:46 6m 34s metrics-std
metrics-std
February 24, 2025 15:46 6m 34s
Track metrics for core and std crates Build Book #25: Commit 63a217b pushed by tautschnig
February 24, 2025 15:45 5m 38s metrics-std
metrics-std
February 24, 2025 15:45 5m 38s