ToposInstitute / CatColab

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

Rust tests and docs in CI #26

Closed epatters closed 1 month ago

epatters commented 1 month ago

We should set up GitHub actions to:

olynch commented 1 month ago

If the urgency of this is such that I could do it next week, I'm happy to do this.

olynch commented 1 month ago

We should also build/deploy a demo from CI.

epatters commented 1 month ago

If the urgency of this is such that I could do it next week, I'm happy to do this.

Thanks Owen, that would be great. It can easily wait a week.

We should also build/deploy a demo from CI.

I'm currently building and deploying the demo from Netlify. It works fine with the downside that most of the CI info is in Netlify rather GitHub. Perhaps we should have GitHub in the driver's seat instead. Not urgent though by any means.

epatters commented 1 month ago

First bullet point is addressed by #36.

epatters commented 1 month ago

The remaining bullet points are addressed by #41 and #42. Thanks @olynch for this tour-de-force of CI work!