Skip to content
New issue

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

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

Already on GitHub? # to your account

release: governor v0.8.0 #253

Merged
merged 2 commits into from
Dec 10, 2024
Merged

release: governor v0.8.0 #253

merged 2 commits into from
Dec 10, 2024

Conversation

github-actions[bot]
Copy link
Contributor

This is a release PR for version 0.8.0.

Use squash merge.

To trigger builds initially, close and then immediately re-open this PR once.

@github-actions github-actions bot added the release Pull requests that prepare for a release. Automatically managed, please do not hand-apply. label Dec 10, 2024
@antifuchs antifuchs closed this Dec 10, 2024
@antifuchs antifuchs reopened this Dec 10, 2024
@antifuchs antifuchs added this pull request to the merge queue Dec 10, 2024
Merged via the queue into master with commit fe4008b Dec 10, 2024
16 checks passed
@antifuchs antifuchs deleted the release/governor/0.8.0 branch December 10, 2024 17:55
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
release Pull requests that prepare for a release. Automatically managed, please do not hand-apply.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant