Skip to content

chore: Pin own actions#16

Merged
larseggert merged 1 commit intomainfrom
chore-pin
Mar 26, 2026
Merged

chore: Pin own actions#16
larseggert merged 1 commit intomainfrom
chore-pin

Conversation

@larseggert
Copy link
Collaborator

No description provided.

@larseggert larseggert added this pull request to the merge queue Mar 26, 2026
Merged via the queue into main with commit fae3b7a Mar 26, 2026
14 checks passed
@larseggert larseggert deleted the chore-pin branch March 26, 2026 08:11
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