Skip to content

Release 0.1.2#8168

Merged
zanieb merged 5 commits intomainfrom
release/012
Oct 24, 2023
Merged

Release 0.1.2#8168
zanieb merged 5 commits intomainfrom
release/012

Conversation

@zanieb
Copy link
Member

@zanieb zanieb commented Oct 24, 2023

@github-actions
Copy link
Contributor

github-actions bot commented Oct 24, 2023

PR Check Results

Ecosystem

✅ ecosystem check detected no changes.

@zanieb zanieb enabled auto-merge (squash) October 24, 2023 15:17
@zanieb zanieb merged commit 3127c79 into main Oct 24, 2023
@zanieb zanieb deleted the release/012 branch October 24, 2023 15:21
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