CI tweaks #4

Merged
Mark merged 2 commits from CI into main 2026-06-06 17:36:31 -07:00
Owner
No description provided.
CI tweaks
Some checks failed
CI / Typst formatting (pull_request) Failing after 1m49s
CI / Typos (pull_request) Successful in 1m52s
CI / Build (pull_request) Has been skipped
b0cf68ffc3
Mark force-pushed CI from b0cf68ffc3
Some checks failed
CI / Typst formatting (pull_request) Failing after 1m49s
CI / Typos (pull_request) Successful in 1m52s
CI / Build (pull_request) Has been skipped
to 537f056ee3
Some checks failed
CI / Typst formatting (pull_request) Failing after 5s
CI / Typos (pull_request) Successful in 7s
CI / Build (pull_request) Has been skipped
2026-06-06 15:54:09 -07:00
Compare
Mark force-pushed CI from 537f056ee3
Some checks failed
CI / Typst formatting (pull_request) Failing after 5s
CI / Typos (pull_request) Successful in 7s
CI / Build (pull_request) Has been skipped
to 111e723974
Some checks failed
CI / Typst formatting (pull_request) Failing after 4s
CI / Typos (pull_request) Successful in 8s
CI / Build (pull_request) Has been skipped
2026-06-06 15:54:54 -07:00
Compare
fmt
Some checks failed
CI / Typst formatting (pull_request) Successful in 1m50s
CI / Typos (pull_request) Successful in 1m51s
CI / Build (pull_request) Failing after 12s
67acdef62a
Mark force-pushed CI from 67acdef62a
Some checks failed
CI / Typst formatting (pull_request) Successful in 1m50s
CI / Typos (pull_request) Successful in 1m51s
CI / Build (pull_request) Failing after 12s
to 5e101a3b96
All checks were successful
CI / Typst formatting (pull_request) Successful in 4s
CI / Typos (pull_request) Successful in 9s
CI / Build (pull_request) Successful in 1m27s
2026-06-06 17:34:04 -07:00
Compare
Mark merged commit fad311fe77 into main 2026-06-06 17:36:31 -07:00
Mark deleted branch CI 2026-06-06 17:36:31 -07:00
Mark referenced this pull request from a commit 2026-06-06 17:36:31 -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!4
No description provided.