JuliaSymbolics/Metatheory.jl

Fix CI

shashi opened this issue · 3 comments

What is going on?

@shashi I left development changes on master (2.0.0-DEV) and i see that package version in master branch has been downgraded to 1.4.0. What happened precisely? I guess the solution may be reverting changes, moving 2.0 in another branch and then restoring master to latest functioning release.

Yeah can you help do that? We need the latest branch of TermInterface to be usable by Symbolics, but MT stops the update from going through.

I've reverted Metatheory master to 1.3.4.

I've updated TermInterface locally to test but everything is broken. Have you tested latest published TermInterface version with Metatheory 1.3.4 ?