Migrate CI to Github Actions

urdh · Jan 23, 2024 · 0cd0ef7 · 0cd0ef7
1 parent eff0455
commit 0cd0ef7
Show file tree

Hide file tree

Showing 2 changed files with 25 additions and 14 deletions.
diff --git a/.github/workflows/continuous-integration.yml b/.github/workflows/continuous-integration.yml
@@ -0,0 +1,25 @@
+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-full
+ - 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
diff --git a/.travis.yml b/.travis.yml