AlgebraicJulia / GATlab.jl

GATlab: a computer algebra system based on generalized algebraic theories (GATs)
https://algebraicjulia.github.io/GATlab.jl/
MIT License
21 stars 2 forks source link

CompatHelper: add new compat entry for Catlab at version 0.16, (keep existing compat) #130

Closed algebraicjuliabot closed 8 months ago

algebraicjuliabot commented 8 months ago

This pull request sets the compat entry for the Catlab package to 0.16. This keeps the compat entries for earlier versions.

Note: I have not tested your package with this new compat entry. It is your responsibility to make sure that your package tests pass before you merge this pull request. Note: Consider registering a new release of your package immediately after merging this PR, as downstream packages may depend on this for tests to pass.

codecov[bot] commented 8 months ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Comparison is base (c7ad9a8) 96.61% compared to head (0931adf) 96.61%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #130 +/- ## ======================================= Coverage 96.61% 96.61% ======================================= Files 38 38 Lines 2067 2067 ======================================= Hits 1997 1997 Misses 70 70 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

epatters commented 8 months ago

Wait, what is going on here? Why does GATlab now depend on Catlab?

epatters commented 8 months ago

@KevinArlin, looks like the recent #126 accidentally added this dependency.

KevinDCarlson commented 8 months ago

Fixed here: https://github.com/AlgebraicJulia/GATlab.jl/pull/131