ToposInstitute / CatColab

A collaborative environment for formal, interoperable, conceptual modeling

https://catcolab.org

MIT License

11 stars 4 forks source link

Closed KevinDCarlson closed 1 month ago

KevinDCarlson commented 1 month ago

Closes #91

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?

KevinDCarlson commented 1 month ago

Gonna self-merge since this is rather trivial.

github-actions[bot] commented 1 month ago