Skip to content

Release/1.1.2 #1336

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

Merged
merged 2 commits into from
Feb 1, 2024
Merged

Release/1.1.2 #1336

merged 2 commits into from
Feb 1, 2024

Conversation

davidv1992
Copy link
Member

No description provided.

rnijveld
rnijveld previously approved these changes Feb 1, 2024
@davidv1992 davidv1992 marked this pull request as ready for review February 1, 2024 10:36
Copy link

codecov bot commented Feb 1, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (ff63929) 83.03% compared to head (fd92bbc) 83.03%.
Report is 12 commits behind head on main.

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

Additional details and impacted files
@@            Coverage Diff             @@
##             main    #1336      +/-   ##
==========================================
- Coverage   83.03%   83.03%   -0.01%     
==========================================
  Files          61       61              
  Lines       18107    18107              
==========================================
- Hits        15036    15035       -1     
- Misses       3071     3072       +1     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

rnijveld
rnijveld previously approved these changes Feb 1, 2024
@rnijveld rnijveld added this pull request to the merge queue Feb 1, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to a conflict with the base branch Feb 1, 2024
@davidv1992 davidv1992 added this pull request to the merge queue Feb 1, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to a conflict with the base branch Feb 1, 2024
@rnijveld rnijveld added this pull request to the merge queue Feb 1, 2024
Merged via the queue into main with commit 742c902 Feb 1, 2024
@rnijveld rnijveld deleted the release/1.1.2 branch February 1, 2024 15:12
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