Skip to content

Implement temporary fix for errors caused by PrettyTables v3#4

Merged
disberd merged 2 commits intomainfrom
PrettyTables_fix
Sep 25, 2025
Merged

Implement temporary fix for errors caused by PrettyTables v3#4
disberd merged 2 commits intomainfrom
PrettyTables_fix

Conversation

@disberd
Copy link
Owner

@disberd disberd commented Sep 25, 2025

This PR basically implements similar functionality as JuliaCI/LocalCoverage.jl#68 while waiting for it to be merged and released

@codecov
Copy link

codecov bot commented Sep 25, 2025

Welcome to Codecov 🎉

Once you merge this PR into your default branch, you're all set! Codecov will compare coverage reports and display results in all future pull requests.

Thanks for integrating Codecov - We've got you covered ☂️

@disberd disberd merged commit c3bc36c into main Sep 25, 2025
4 checks passed
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