edits #31

Open
Mark wants to merge 3 commits from edits into main
Owner
No description provided.
Mark added 3 commits 2026-03-04 18:13:12 -08:00
Retrograde edits
All checks were successful
CI / Typst formatting (pull_request) Successful in 55s
CI / Typos (pull_request) Successful in 1m3s
CI / Build (pull_request) Successful in 4m44s
b9f378ab76
All checks were successful
CI / Typst formatting (pull_request) Successful in 55s
Required
Details
CI / Typos (pull_request) Successful in 1m3s
Required
Details
CI / Build (pull_request) Successful in 4m44s
Required
Details
This pull request can be merged automatically.
You are not authorized to merge this pull request.
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin edits:edits
git checkout edits
Sign in to join this conversation.
No Reviewers
No Label
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: Mark/handouts#31