Switch from Travis CI to GitHub Actions

SeTSeR · May 5, 2022 · 39b1e5b · 39b1e5b
1 parent c62109a
commit 39b1e5b
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 20 deletions.
diff --git a/.github/workflows/build-pdfs.yml b/.github/workflows/build-pdfs.yml
@@ -0,0 +1,20 @@
+name: Build PDFs with hometasks
+on: [push]
+jobs:
+  Build-PDFs: 
+    runs-on: ubuntu-latest
+    steps:
+      - run: sudo apt-get update
+      - run: sudo apt-get install -y --no-install-recommends texlive-full pandoc zip python-pygments dot2tex
+      - name: Clone the repository
+        uses: actions/checkout@v3
+      - run: make pdf || true
+      - run: zip -r pdfs.zip build/
+      - name: Release latest archive on GitHub
+        uses: "marvinpinto/action-automatic-releases@latest"
+        with:
+          repo_token: "${{ secrets.GITHUB_TOKEN }}"
+          automatic_release_tag: "latest"
+          prerelease: true
+          title: "Latest build"
+          files: pdfs.zip
diff --git a/.travis.yml b/.travis.yml