Skip to content

Actions: celinval/rust-dev

Actions

Build Book

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
book.yml
69 workflow runs
69 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix script and rename directories Build Book #69: Commit 0ebb862 pushed by celinval
January 3, 2025 21:18 4m 34s chores-tidy
chores-tidy
January 3, 2025 21:18 4m 34s
Merge branch 'chores-tidy' of github.com:celinval/rust-dev into chore… Build Book #68: Commit dd870e5 pushed by carolynzech
December 13, 2024 01:48 5m 8s chores-tidy
chores-tidy
December 13, 2024 01:48 5m 8s
Merge branch 'main' into chores-merge-queue Build Book #67: Commit ae2265a pushed by carolynzech
December 9, 2024 20:27 4m 18s chores-merge-queue
chores-merge-queue
December 9, 2024 20:27 4m 18s
Merge branch 'main' into verify-intrinsics Build Book #66: Commit e3dc274 pushed by tautschnig
December 6, 2024 23:25 4m 23s verify-intrinsics
verify-intrinsics
December 6, 2024 23:25 4m 23s
Prepare repo for enabling merge queue Build Book #65: Commit 7ff4e6f pushed by celinval
December 6, 2024 22:26 4m 23s chores-merge-queue
chores-merge-queue
December 6, 2024 22:26 4m 23s
Prepare repo for enabling merge queue Build Book #64: Commit 66c4890 pushed by celinval
December 6, 2024 22:19 4m 23s chores-merge-queue
chores-merge-queue
December 6, 2024 22:19 4m 23s
Merge branch 'main' into verify-iter-2 Build Book #63: Commit f9d068f pushed by celinval
December 6, 2024 20:07 4m 20s verify-iter-2
verify-iter-2
December 6, 2024 20:07 4m 20s
Update doc/src/challenges/0002-intrinsics-memory.md Build Book #62: Commit e7f1e66 pushed by celinval
December 6, 2024 19:05 4m 34s verify-intrinsics
verify-intrinsics
December 6, 2024 19:05 4m 34s
Apply the changes to intrinsics module file Build Book #61: Commit 7415c26 pushed by celinval
December 6, 2024 19:03 4m 29s verify-intrinsics
verify-intrinsics
December 6, 2024 19:03 4m 29s
Merge branch 'main' into verify-iter-2 Build Book #60: Commit 4d259e3 pushed by celinval
December 6, 2024 18:48 4m 31s verify-iter-2
verify-iter-2
December 6, 2024 18:48 4m 31s
Enable the harness commented out in pattern.rs Build Book #59: Commit 690ade9 pushed by celinval
December 6, 2024 03:59 4m 23s verify-iter-2
verify-iter-2
December 6, 2024 03:59 4m 23s
Merge commit '8fe8f562171f4b696234c1313a25418878c1b885' into sync-202… Build Book #58: Commit 810d584 pushed by celinval
November 29, 2024 21:07 4m 17s sync-2024-11-26
sync-2024-11-26
November 29, 2024 21:07 4m 17s
Update doc/src/challenges/0002-intrinsics-memory.md Build Book #57: Commit 72877b8 pushed by tautschnig
November 27, 2024 19:25 4m 35s verify-intrinsics
verify-intrinsics
November 27, 2024 19:25 4m 35s
Merge branch 'main' into chores-update-rewards Build Book #56: Commit 0e1f7de pushed by celinval
November 22, 2024 17:22 5m 42s chores-update-rewards
chores-update-rewards
November 22, 2024 17:22 5m 42s
Apply suggestions from code review Build Book #55: Commit 10869cd pushed by celinval
November 22, 2024 00:31 4m 22s chores-update-rewards
chores-update-rewards
November 22, 2024 00:31 4m 22s
Add reward information to the repository Build Book #54: Commit 8f21c89 pushed by celinval
November 22, 2024 00:09 4m 24s chores-update-rewards
chores-update-rewards
November 22, 2024 00:09 4m 24s
Add reward information to the repository Build Book #53: Commit 723b8a1 pushed by celinval
November 22, 2024 00:04 4m 22s chores-update-rewards
chores-update-rewards
November 22, 2024 00:04 4m 22s
Add reward information to the repository Build Book #52: Commit 377f2b5 pushed by celinval
November 22, 2024 00:03 4m 24s chores-update-rewards
chores-update-rewards
November 22, 2024 00:03 4m 24s
Add reward information to the repository Build Book #51: Commit 6b33718 pushed by celinval
November 21, 2024 23:57 4m 20s chores-update-rewards
chores-update-rewards
November 21, 2024 23:57 4m 20s
Add reward information to the repository Build Book #50: Commit 5dad1bf pushed by celinval
November 21, 2024 23:56 4m 17s chores-update-rewards
chores-update-rewards
November 21, 2024 23:56 4m 17s
Improve run-kani script to use default target Build Book #49: Commit 06ce4c4 pushed by celinval
November 20, 2024 03:21 4m 41s chores-170-target
chores-170-target
November 20, 2024 03:21 4m 41s
add as_ptr Build Book #48: Commit 2b7faee pushed by celinval
November 13, 2024 19:02 4m 38s challenge-cstr
challenge-cstr
November 13, 2024 19:02 4m 38s
Add a few trait implementations to challenge Build Book #47: Commit 52ec29e pushed by celinval
November 5, 2024 00:45 4m 23s challenge-cstr
challenge-cstr
November 5, 2024 00:45 4m 23s
Fix copy_nonoverlapping harness Build Book #46: Commit 5e24d04 pushed by celinval
November 5, 2024 00:26 4m 27s verify-intrinsics
verify-intrinsics
November 5, 2024 00:26 4m 27s
Apply suggestions from code review Build Book #45: Commit 44ce7cf pushed by celinval
November 4, 2024 22:01 4m 25s challenge-cstr
challenge-cstr
November 4, 2024 22:01 4m 25s