CI #3

Merged
Mark merged 5 commits from CI into main 2026-06-05 09:56:55 -07:00
Owner
No description provided.
CI
Some checks failed
CI / Typst formatting (pull_request) Successful in 4s
CI / Typos (pull_request) Failing after 8s
CI / Build (pull_request) Has been skipped
8bec767f4e
Typos
Some checks failed
CI / Typst formatting (pull_request) Successful in 6s
CI / Typos (pull_request) Successful in 7s
CI / Build (pull_request) Failing after 5s
896284b9e9
CI
Some checks failed
CI / Typst formatting (pull_request) Successful in 3s
CI / Typos (pull_request) Successful in 7s
CI / Build (pull_request) Failing after 2m26s
047a89c264
CI
Some checks failed
CI / Typst formatting (pull_request) Successful in 4s
CI / Typos (pull_request) Successful in 7s
CI / Build (pull_request) Failing after 2m11s
9cdfb5ffe1
CI
All checks were successful
CI / Typst formatting (pull_request) Successful in 5s
CI / Typos (pull_request) Successful in 6s
CI / Build (pull_request) Successful in 3m34s
71dcea8844
Mark merged commit 15a85631b8 into main 2026-06-05 09:56:55 -07:00
Mark referenced this pull request from a commit 2026-06-05 09:56:57 -07:00
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
Mark/handouts!3
No description provided.