Closed github-actions[bot] closed 2 months ago
Hey! Is there anyting holding this PR up? It's holding up testing wtih ADTypes.jjl on in a few downstream packages 😬
Lovely; thank you @Vaibhavdixit02 ! Is it also possible make a release?
No problem @torfjelde! I am looking into making a release, the CI failed to resolve versions just a few minutes back so there might be a bit of delay to get other packages to do the releases as well
Gotcha :+1: Thank you for looking into it!
This pull request changes the compat entry for the
ADTypes
package from0.2.5
to0.2.5, 1
. 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.