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.

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

Release 0.7.1 #42

Merged
merged 1 commit into from
Nov 28, 2024
Merged

Release 0.7.1 #42

merged 1 commit into from
Nov 28, 2024

Conversation

freider
Copy link
Collaborator

@freider freider commented Nov 28, 2024

No description provided.

@freider freider requested a review from kramstrom November 28, 2024 14:35
@freider
Copy link
Collaborator Author

freider commented Nov 28, 2024

@prbot approve

Copy link

@modal-pr-review-automation modal-pr-review-automation bot left a comment

Choose a reason for hiding this comment

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

Approved 👍. @kramstrom will follow-up review this.

@freider freider merged commit 2950d1f into main Nov 28, 2024
6 checks passed
@freider freider deleted the release-0.7.1 branch November 28, 2024 14:35
Copy link

@kramstrom kramstrom left a comment

Choose a reason for hiding this comment

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

👍

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