technicalguy / acs-category-theory-notes-2017

Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.
13 stars 5 forks source link

Use continuous integration to automatically check that pull requests will build successfully. #2

Open technicalguy opened 6 years ago

technicalguy commented 6 years ago

See https://mirocupak.com/continuous-integration-for-latex/

bch29 commented 6 years ago

CI could also be made to automatically place the pdf artifact in the repository so everybody doesn't need to build it manually.

technicalguy commented 6 years ago

If we make this an open source project then we can get free CI support though GitHub. I guess that's ultimately down to Marcelo. It would be worth clarifying with him what kind of license he'd like in any case, regardless of if we use CI.