Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fix release action #30

Merged
merged 1 commit into from
Jul 3, 2024
Merged

fix release action #30

merged 1 commit into from
Jul 3, 2024

Conversation

chris-martin
Copy link
Contributor

No description provided.

@chris-martin chris-martin requested a review from pbrisbin July 3, 2024 17:56
@chris-martin chris-martin mentioned this pull request Jul 3, 2024
Merged
pbrisbin
pbrisbin approved these changes Jul 3, 2024
View reviewed changes
Copy link
Member

@pbrisbin pbrisbin left a comment •
edited
Loading

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

I had a script lying around that would go back over previous releases and push a revision if its bounds were wrong in this regard. I wonder if I can find it...

@chris-martin chris-martin enabled auto-merge (squash) July 3, 2024 18:02
@chris-martin chris-martin merged commit 0ebe1e9 into main Jul 3, 2024
12 checks passed
@chris-martin chris-martin deleted the bounds branch July 3, 2024 18:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@pbrisbin pbrisbin pbrisbin approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@chris-martin @pbrisbin