Mark/handouts
Mark/handouts
1
0
Fork 0
Code Pull Requests 1 Actions Packages Releases Activity

Minor cleanup #21

Merged
Mark merged 3 commits from cleanup into main 2025-03-02 19:36:20 -08:00
Conversation 0 Commits 3 Files Changed 59 +220 -164
Mark commented 2025-03-02 14:53:51 -08:00
Owner
Copy Link
No description provided.
Mark added 3 commits 2025-03-02 14:53:51 -08:00
Style tweaks
Some checks failed
CI / Typos (pull_request) Successful in 7s
Details
CI / Typst formatting (pull_request) Successful in 7s
Details
CI / Build (pull_request) Failing after 3m40s
Details
2d007357d4
Mark scheduled this pull request to auto merge when all checks succeed 2025-03-02 14:54:00 -08:00
Mark force-pushed cleanup from 2d007357d4 to 6681724804 2025-03-02 19:26:44 -08:00 Compare
Mark merged commit 563dd990a5 into main 2025-03-02 19:36:20 -08:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No Label
Milestone
No items
No Milestone
Assignees
Clear assignees
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: Mark/handouts#21
No description provided.
Delete Branch "cleanup"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?