Skip to content

Fixup workflow name#187

Merged
grahamc merged 1 commit intomainfrom
grahamc-patch-1
May 28, 2025
Merged

Fixup workflow name#187
grahamc merged 1 commit intomainfrom
grahamc-patch-1

Conversation

@grahamc
Copy link
Copy Markdown
Member

@grahamc grahamc commented May 28, 2025

Description
Checklist
  • Tested functionality against a test repository (see "How to test changes")
  • Added or updated relevant documentation (leave unchecked if not applicable)

@grahamc grahamc merged commit c115b81 into main May 28, 2025
2 checks passed
@grahamc grahamc deleted the grahamc-patch-1 branch May 28, 2025 15:01
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.

2 participants