Skip to content

Forward port changes from v1.0 #56

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

Closed

Conversation

bettio
Copy link
Contributor

@bettio bettio commented Apr 8, 2022

No description provided.

Merge release-1.0 branch into master.
@bettio bettio added the chore Maintenance chore label Apr 8, 2022
@bettio bettio requested a review from rbino April 8, 2022 15:14
@codecov
Copy link

codecov bot commented Apr 8, 2022

Codecov Report

Merging #56 (ee3fed5) into master (b1b94ee) will not change coverage.
The diff coverage is n/a.

❗ Current head ee3fed5 differs from pull request most recent head b540f52. Consider uploading reports for the commit b540f52 to get more accurate results

@@           Coverage Diff           @@
##           master      #56   +/-   ##
=======================================
  Coverage   64.22%   64.22%           
=======================================
  Files           4        4           
  Lines         123      123           
=======================================
  Hits           79       79           
  Misses         44       44           

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update b1b94ee...b540f52. Read the comment docs.

@Annopaolo
Copy link
Collaborator

Superseded by #59.

@Annopaolo Annopaolo closed this Nov 10, 2022
@bettio bettio deleted the fwdport-1.0-into-master branch June 9, 2023 15:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
chore Maintenance chore
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants