Skip to content

Bump actions, fetch depth 1, remove unneeded deps#126

Merged
C0rn3j merged 1 commit into
mborgerding:masterfrom
C0rn3j:ci2
Mar 7, 2026
Merged

Bump actions, fetch depth 1, remove unneeded deps#126
C0rn3j merged 1 commit into
mborgerding:masterfrom
C0rn3j:ci2

Conversation

@C0rn3j

@C0rn3j C0rn3j commented Mar 7, 2026

Copy link
Copy Markdown
Collaborator

CI improvements, mostly based on comments by @reneleonhardt in #113

@C0rn3j
C0rn3j merged commit 1e56ac8 into mborgerding:master Mar 7, 2026
2 checks passed
@C0rn3j
C0rn3j deleted the ci2 branch March 7, 2026 16:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant