New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

A github action based CI for this repository #47

Open

piyush-kurur wants to merge 4 commits into SMLFamily:master from piyush-kurur:ci

piyush-kurur commented Apr 23, 2021

Action to Checks for trailing backspaces in the source
Action to build the pdf from the definiton (currently fails due to https://gitlab.com/ekleinod/changes/-/issues/60
Removed whitespaces from tex sources.

TODO: add a CI status badge in README and maybe daily builds.

piyush-kurur added 4 commits

April 23, 2021 12:25


          source checks for trailing spaces.

0036b23


          removing trailing whitespaces

7dac29c


          add building of the definitions.

b5cd0ec


          ci: add texlive-latex-extra package

c555144

Author

piyush-kurur commented Apr 23, 2021

Just noticed that #46 should fix the not building problem. So may be that can be merged first.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet