search

ToposInstitute / CatColab

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

CI uses pre-release of forester while claiming to use latest release #71

Closed epatters closed 1 month ago

epatters commented 1 month ago

The specifics are described in #70. We should fix it because it's confusing and makes it hard to built the forest locally.

epatters commented 1 month ago

I used the forester v4.2 prelease to prepare #72, so the simplest way to fix this issue is to just rename the binary being downloaded in CI to reflect that it is v4.2. Where is this binary even coming from, BTW?