Skip to content
This repository has been archived by the owner on Jan 23, 2024. It is now read-only.

Migrate CI to Github Actions #2

Migrate CI to Github Actions

Migrate CI to Github Actions #2

name: Continuous integration
on:
push:
branches: [master]
pull_request:
permissions:
contents: read
jobs:
continuous-integration:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: teatimeguest/setup-texlive-action@v3
with:
version: 2017
packages: >-
scheme-basic
collection-latexrecommended
collection-binextra
- run: sudo pip install pygments
- run: sudo pip install 'pygments-style-solarized @ git+https://github.com/shkumagai/[email protected]'
- run: make a4
- run: make c5
- uses: actions/upload-artifact@v4
with:
path: |
latexbok-a4.pdf
latexbok-c5.pdf