search

tweag / cooked-validators

MIT License
39 stars 11 forks source link

Run `deploy` workflow also in CI #281

Closed Niols closed 1 year ago

Niols commented 1 year ago

Until now, we ran this workflow on pushes to main and tag pushes. I think it is worth running it also on pull requests to at least check that we can build the documentation correctly. Of course, the actual deployment should only happen on main, but there was already a condition for this.

I expect CI to be unpleased because we should catch the error currently on main.

Niols commented 1 year ago

CI is now back to running in 5 minutes with independent caches for building normally and building documentation. @gabrielhdt Wanna have another look or are we happy about this?

gabrielhdt commented 1 year ago

Yeah let's keep it that way. We can try removing postgresql some other time.