Skip to content

Pin action#579

Merged
offa merged 1 commit intomasterfrom
ci
Nov 17, 2025
Merged

Pin action#579
offa merged 1 commit intomasterfrom
ci

Conversation

@offa
Copy link
Copy Markdown
Owner

@offa offa commented Nov 17, 2025

No description provided.

@offa offa self-assigned this Nov 17, 2025
@offa offa added the ci label Nov 17, 2025
@offa offa merged commit fa13d86 into master Nov 17, 2025
6 checks passed
@offa offa deleted the ci branch November 17, 2025 20:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant