Skip to content

Actions: model-checking/verify-rust-std

Actions

Build Book

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
book.yml
994 workflow runs
994 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Track metrics for core and std crates, add loop metrics (#258) Build Book #1458: Commit 9aa99c3 pushed by github-merge-queue Bot
5m 28s gh-readonly-queue/main/pr-258-18c4e957be6782c788ce4a6a2031f11106fa8d74
gh-readonly-queue/main/pr-258-18c4e957be6782c788ce4a6a2031f11106fa8d74
5m 28s
Build Book Build Book #1457: Merge group checks requested
5m 24s
5m 24s
Track metrics for core and std crates, add loop metrics Build Book #1456: Pull request #258 synchronize by tautschnig
5m 28s tautschnig:metrics-std
tautschnig:metrics-std
5m 28s
Track metrics for core and std crates, add loop metrics Build Book #1455: Pull request #258 synchronize by tautschnig
5m 23s tautschnig:metrics-std
tautschnig:metrics-std
5m 23s
Track metrics for core and std crates, add loop metrics (#258) Build Book #1454: Commit ab4179e pushed by github-merge-queue Bot
5m 34s gh-readonly-queue/main/pr-258-18c4e957be6782c788ce4a6a2031f11106fa8d74
gh-readonly-queue/main/pr-258-18c4e957be6782c788ce4a6a2031f11106fa8d74
5m 34s
Build Book Build Book #1453: Merge group checks requested
5m 38s
5m 38s
Add Challenges 20 21 22 for str Pattern and iter Build Book #1452: Pull request #266 synchronize by thanhnguyen-aws
5m 19s thanhnguyen-aws:strIterchallenges
thanhnguyen-aws:strIterchallenges
5m 19s
Close Challenges 6 & 14; remove optional correctness work in Challenge 12 Build Book #1451: Pull request #247 synchronize by thanhnguyen-aws
6m 18s thanhnguyen-aws:refinechallenges
thanhnguyen-aws:refinechallenges
6m 18s
Track metrics for core and std crates, add loop metrics Build Book #1450: Pull request #258 synchronize by tautschnig
5m 28s tautschnig:metrics-std
tautschnig:metrics-std
5m 28s
Build Book Build Book #1449: Merge group checks requested
5m 32s
5m 32s
Merge subtree update for toolchain nightly-2025-03-17 Build Book #1448: Pull request #290 synchronize by tautschnig
5m 35s sync-2025-03-17
sync-2025-03-17
5m 35s
Add challenge 23 24 for Vec Build Book #1447: Pull request #267 synchronize by thanhnguyen-aws
6m 21s thanhnguyen-aws:vecchallenge
thanhnguyen-aws:vecchallenge
6m 21s
Update Kani Metrics Build Book #1446: Pull request #276 reopened by tautschnig
6m 34s update-kani-metrics
update-kani-metrics
6m 34s
Build Book Build Book #1445: Merge group checks requested
5m 27s
5m 27s
Add Challenge 25: VecDeque Build Book #1444: Pull request #269 synchronize by thanhnguyen-aws
5m 28s thanhnguyen-aws:vecdequechallenge
thanhnguyen-aws:vecdequechallenge
5m 28s
Add challenge 23 24 for Vec Build Book #1443: Pull request #267 synchronize by thanhnguyen-aws
6m 52s thanhnguyen-aws:vecchallenge
thanhnguyen-aws:vecchallenge
6m 52s
Add challenge 23 24 for Vec Build Book #1442: Pull request #267 synchronize by thanhnguyen-aws
6m 8s thanhnguyen-aws:vecchallenge
thanhnguyen-aws:vecchallenge
6m 8s
Add Challenges 20 21 22 for str Pattern and iter Build Book #1441: Pull request #266 synchronize by thanhnguyen-aws
5m 23s thanhnguyen-aws:strIterchallenges
thanhnguyen-aws:strIterchallenges
5m 23s
Subtree update automation: remove extraneous library folder Build Book #1440: Pull request #288 synchronize by thanhnguyen-aws
9m 31s tautschnig:automation-cleanup-submodule
tautschnig:automation-cleanup-submodule
9m 31s
Add Challenges 20 21 22 for str Pattern and iter Build Book #1439: Pull request #266 synchronize by thanhnguyen-aws
5m 50s thanhnguyen-aws:strIterchallenges
thanhnguyen-aws:strIterchallenges
5m 50s
Add Challenges 20 21 22 for str Pattern and iter Build Book #1438: Pull request #266 synchronize by thanhnguyen-aws
5m 47s thanhnguyen-aws:strIterchallenges
thanhnguyen-aws:strIterchallenges
5m 47s
Add Challenges 17 18 for slices Build Book #1437: Pull request #265 synchronize by thanhnguyen-aws
5m 41s thanhnguyen-aws:slicechallenges
thanhnguyen-aws:slicechallenges
5m 41s
Build Book Build Book #1436: Merge group checks requested
5m 29s
5m 29s
Add Challenge 16: Iterator Build Book #1435: Pull request #260 synchronize by thanhnguyen-aws
5m 24s thanhnguyen-aws:morechallenges
thanhnguyen-aws:morechallenges
5m 24s
Add Challenges 17 18 for slices Build Book #1434: Pull request #265 synchronize by thanhnguyen-aws
5m 25s thanhnguyen-aws:slicechallenges
thanhnguyen-aws:slicechallenges
5m 25s
ProTip! You can narrow down the results and go further in time using created:<2025-03-18 or the other filters available.