search

ToposInstitute / CatColab

A collaborative environment for formal, interoperable, conceptual modeling
https://catcolab.org
MIT License
28 stars 7 forks source link

Upgrade forester theme for v4.1 #70

Closed epatters closed 3 months ago

epatters commented 3 months ago

Attempting to fix that the forester theme is broken locally on Forester v4.1 but working in the CI.

github-actions[bot] commented 3 months ago

Preview url: https://66a5825e6617979ba6242d28--catcolab.netlify.app

epatters commented 3 months ago

Hmm, now the theme seems broken in the preview despite working locally.

epatters commented 3 months ago

Now I see the problem. The tarball downloaded by the CI claims to be v4.1 but is secretly v4.2:

$ ./forester --version
4.2.0

However, v4.2 isn't even released on opam yet. As of June 20, it seems to be a prerelease.