Skip to content

Fix release pipeline#149

Merged
johnstairs merged 1 commit intomainfrom
johnstairs/fix-release-pipeline
Nov 8, 2024
Merged

Fix release pipeline#149
johnstairs merged 1 commit intomainfrom
johnstairs/fix-release-pipeline

Conversation

@johnstairs
Copy link
Member

I goofed up the release pipeline in an earlier PR.

@johnstairs johnstairs requested a review from hansenms November 8, 2024 23:14
@johnstairs johnstairs merged commit 9586806 into main Nov 8, 2024
@johnstairs johnstairs deleted the johnstairs/fix-release-pipeline branch November 8, 2024 23:58
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