Add new commands #7
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Makefile CI | |
| on: | |
| push: | |
| branches: [ "master" ] | |
| pull_request: | |
| branches: [ "master" ] | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - name: Install dependencies | |
| run: make install-deps | |
| - name: Build book | |
| run: make | |
| - name: Copy PDF file to project root | |
| run: make pdf | |
| - name: Stage changed files | |
| run: git add output.pdf | |
| - name: Commit changes | |
| run: git commit -m "Generate utput.pdf file" | |
| - name: Push changes | |
| run: git push origin HEAD:master |