Skip to content

Up Hecke version. to 0.39.4#2096

Merged
thofma merged 2 commits intomasterfrom
sb/stuff
Dec 8, 2025
Merged

Up Hecke version. to 0.39.4#2096
thofma merged 2 commits intomasterfrom
sb/stuff

Conversation

@simonbrandhorst
Copy link
Copy Markdown
Collaborator

  • inv instead of //
  • up the Hecke version

@thofma thofma closed this Dec 5, 2025
@thofma thofma reopened this Dec 5, 2025
@codecov
Copy link
Copy Markdown

codecov Bot commented Dec 5, 2025

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 76.58%. Comparing base (82e39bb) to head (f78d46c).
⚠️ Report is 6 commits behind head on master.

Additional details and impacted files
@@             Coverage Diff             @@
##           master    #2096       +/-   ##
===========================================
+ Coverage    5.09%   76.58%   +71.48%     
===========================================
  Files         370      372        +2     
  Lines      118483   119494     +1011     
===========================================
+ Hits         6039    91511    +85472     
+ Misses     112444    27983    -84461     
Files with missing lines Coverage Δ
src/QuadForm/Spaces.jl 94.00% <100.00%> (+94.00%) ⬆️

... and 334 files with indirect coverage changes

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@simonbrandhorst
Copy link
Copy Markdown
Collaborator Author

Needed for oscar-system/Oscar.jl#5151

@thofma thofma closed this Dec 6, 2025
@thofma thofma reopened this Dec 6, 2025
@simonbrandhorst
Copy link
Copy Markdown
Collaborator Author

Maybe the release could wait for / include
#2098 . That will be needed as well soon.

@thofma
Copy link
Copy Markdown
Owner

thofma commented Dec 6, 2025

Sure

@lgoettgens
Copy link
Copy Markdown
Contributor

It would be great if we could release this soon-ish to allow proceeding with #2095. If #2098 is basically finished, that's fine for me. But if it needs some further work, I would prefer having a release now and then another one in a few days (e.g. once #2098 is merged).

@simonbrandhorst
Copy link
Copy Markdown
Collaborator Author

simonbrandhorst commented Dec 8, 2025

It is finished and merged.

@thofma thofma enabled auto-merge (squash) December 8, 2025 19:02
@thofma thofma disabled auto-merge December 8, 2025 19:02
@thofma thofma merged commit 5e06ec7 into master Dec 8, 2025
55 of 63 checks passed
@thofma thofma deleted the sb/stuff branch December 8, 2025 19:03
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