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.4.2 #114

Closed
wants to merge 1 commit into from
Closed

Release 0.4.2 #114

wants to merge 1 commit into from

Conversation

rukai
Copy link
Contributor

@rukai rukai commented Aug 22, 2023

I am proposing we make a patch release to get #110 out the door.
Its been causing a lot of compile time issues for me.

@codecov-commenter
Copy link

Codecov Report

Merging #114 (f0c7423) into trunk (1a5b6c0) will not change coverage.
The diff coverage is n/a.

❗ Your organization is not using the GitHub App Integration. As a result you may experience degraded service beginning May 15th. Please install the Github App Integration for your organization. Read more.

@@           Coverage Diff           @@
##            trunk     #114   +/-   ##
=======================================
  Coverage   76.91%   76.91%           
=======================================
  Files          11       11           
  Lines        2027     2027           
  Branches     2027     2027           
=======================================
  Hits         1559     1559           
  Misses         84       84           
  Partials      384      384           

@akubera
Copy link
Owner

akubera commented Oct 16, 2023

Released

@akubera akubera closed this Oct 16, 2023
@rukai
Copy link
Contributor Author

rukai commented Oct 16, 2023

Thanks!

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.

3 participants