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

Add Aqua to the test suite #1143

Merged
merged 3 commits into from
Jan 30, 2025
Merged

Add Aqua to the test suite #1143

merged 3 commits into from
Jan 30, 2025

Conversation

JamesWrigley
Copy link
Collaborator

Turns out we commit type piracy on Base.display(), so the piracy test is disabled for now until we figure out if it's needed. @stevengj, do you know if it's needed? AFAICT the method isn't called anywhere in the code base and it's not documented either.

Also removed some unnecessary dependencies in 4885721.

Libdl is now not used, and Test is a proper test dependency instead of a package
dependency.
Turns out we commit type piracy on `Base.display()`, so the piracy test is
disabled for now.
@JamesWrigley JamesWrigley self-assigned this Jan 30, 2025
Since that's the minimum supported version now.
Copy link

codecov bot commented Jan 30, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 10.21%. Comparing base (4a5d51b) to head (92682f5).
Report is 4 commits behind head on master.

Additional details and impacted files
@@            Coverage Diff             @@
##           master    #1143      +/-   ##
==========================================
- Coverage   10.48%   10.21%   -0.27%     
==========================================
  Files          14       14              
  Lines         820      822       +2     
==========================================
- Hits           86       84       -2     
- Misses        734      738       +4     

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

@JamesWrigley
Copy link
Collaborator Author

(I'll go ahead and merge this, we can figure out the pirated method later)

@JamesWrigley JamesWrigley merged commit 32d030c into master Jan 30, 2025
11 of 12 checks passed
@JamesWrigley JamesWrigley deleted the aqua branch January 30, 2025 15:40
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