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

update upstream path contributors file #84

Merged
merged 1 commit into from
Dec 12, 2023
Merged

Conversation

merelvdthiel
Copy link
Contributor

Closes #

Proposed Changes

Change Type

  • bugfix (+0.0.1)
  • minor (+0.1.0)
  • major (+1.0.0)
  • refactoring (no version update)
  • test (no version update)
  • infrastructure (no version update)
  • documentation (no version update)
  • other

Checklist before review

  • I added everything I wanted to add to this PR.
  • [Code or tests only] I wrote/updated the necessary docstrings.
  • [Code or tests only] I ran and passed tests locally.
  • [Documentation only] I built the docs locally.
  • My contribution is harmonious with the rest of the code: I'm not introducing repetitions.
  • My code respects the adopted style, especially linting conventions.
  • The title of this PR is explanatory on its own, enough to be understood as part of a changelog.
  • I added or indicated the right labels.
  • I added information regarding the timeline of completion for this PR.
  • Please, comment on my PR while it's a draft and give me feedback on the development!

Copy link

codecov bot commented Nov 24, 2023

Codecov Report

Merging #84 (126ce80) into master (7a24212) will not change coverage.
The diff coverage is n/a.

Additional details and impacted files

Impacted file tree graph

@@           Coverage Diff           @@
##           master      #84   +/-   ##
=======================================
  Coverage   90.93%   90.93%           
=======================================
  Files          14       14           
  Lines        1235     1235           
=======================================
  Hits         1123     1123           
  Misses        112      112           

Copy link
Collaborator

@smoia smoia left a comment

Choose a reason for hiding this comment

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

Thank you!

@smoia smoia merged commit 101ef11 into MIPLabCH:master Dec 12, 2023
@smoia
Copy link
Collaborator

smoia commented Dec 12, 2023

🚀 PR was released in 0.18.2 🚀

@smoia smoia added the Released This PR has been released! label Dec 12, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Released This PR has been released!
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants