ToposInstitute / CatColab

A collaborative environment for formal, interoperable, conceptual modeling

https://catcolab.org

MIT License

11 stars 4 forks source link

Closed olynch closed 2 weeks ago

olynch commented 2 weeks ago

Default TODO list

[x] Are all notable changes added to the changelog in dev-docs/?
[x] Are there any manual checks that you did while preparing this release that could be automated and become part of the CI?
[x] Are any relevant issues to the PR mentioned so that they will be automatically closed when the PR merges?

github-actions[bot] commented 2 weeks ago