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

Bump Aqua compat #933

Merged
merged 2 commits into from
Sep 5, 2023
Merged

Bump Aqua compat #933

merged 2 commits into from
Sep 5, 2023

Conversation

lgoettgens
Copy link
Member

No description provided.

@fingolfin
Copy link
Member

complains about possible type piracy due to (I think) GapObj (again)

@lgoettgens
Copy link
Member Author

I'll look into this next week. Could possibly be a bug in the new Aqua stuff as well, there are no tests with kwargs if I remember correctly.

@lgoettgens
Copy link
Member Author

complains about possible type piracy due to (I think) GapObj (again)

Indeed a bug in Aqua (see JuliaTesting/Aqua.jl#171). Your original fix for Unions like GapObj does not work for functions with a kwarg, like the one here. Once there is a Aqua release with JuliaTesting/Aqua.jl#171, we can proceed here.

@codecov
Copy link

codecov bot commented Sep 5, 2023

Codecov Report

Merging #933 (36a3746) into master (078c25e) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master     #933   +/-   ##
=======================================
  Coverage   75.65%   75.65%           
=======================================
  Files          51       51           
  Lines        4170     4170           
=======================================
  Hits         3155     3155           
  Misses       1015     1015           

@fingolfin fingolfin merged commit c9173a5 into oscar-system:master Sep 5, 2023
12 of 14 checks passed
@lgoettgens lgoettgens deleted the patch-3 branch September 5, 2023 21:38
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