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

Fix CI and update readme #184

Merged
merged 4 commits into from
Sep 30, 2024
Merged

Fix CI and update readme #184

merged 4 commits into from
Sep 30, 2024

Conversation

cschreib
Copy link
Member

@cschreib cschreib commented Sep 30, 2024

This is just a maintenance PR:

  • Fix the CI scripts not running anymore after GitHub stopped supporting upload-artifact/v2.
  • Fix TOC link in README not using auto-link.
  • Update benchmarks (not updated for a while).
  • Update version number in preparation for next release.

Copy link

codecov bot commented Sep 30, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 94.03%. Comparing base (fab51bf) to head (61855bf).
Report is 6 commits behind head on main.

Additional details and impacted files

Impacted file tree graph

@@           Coverage Diff           @@
##             main     #184   +/-   ##
=======================================
  Coverage   94.03%   94.03%           
=======================================
  Files          29       29           
  Lines        1709     1709           
=======================================
  Hits         1607     1607           
  Misses        102      102           
Flag Coverage Δ
94.03% <ø> (?)

Flags with carried forward coverage won't be shown. Click here to find out more.


Continue to review full report in Codecov by Sentry.

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

@cschreib cschreib merged commit ecfa3d6 into main Sep 30, 2024
43 checks passed
@cschreib cschreib deleted the maintenance branch September 30, 2024 07:59
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.

1 participant