Metatheory.jl icon indicating copy to clipboard operation
Metatheory.jl copied to clipboard

Published 20 hours ago • verified publisher icon JuliaSymbolics

Fix CI

Open shashi opened this issue 1 year ago • 3 comments

What is going on?

shashi avatar Aug 03 '22 16:08 shashi

@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.

0x0f0f0f avatar Aug 22 '22 12:08 0x0f0f0f

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.

shashi avatar Aug 23 '22 18:08 shashi

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 ?

0x0f0f0f avatar Aug 31 '22 09:08 0x0f0f0f