From df512e95fe6f6bd32cc721720d0fe3d7deaf3a02 Mon Sep 17 00:00:00 2001 From: Niko Strijbol Date: Thu, 5 Oct 2023 23:52:19 +0200 Subject: [PATCH] Add release GA --- .github/workflows/release.yml | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 .github/workflows/release.yml diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml new file mode 100644 index 0000000..f14058b --- /dev/null +++ b/.github/workflows/release.yml @@ -0,0 +1,25 @@ +name: "Release" + +on: + push: + tags: + - '*' + +permissions: + contents: write + +jobs: + test: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v3 + - run: mkdir $HOME/.fonts && unzip panno_3.00.zip -d $HOME/.fonts + - run: fc-cache -f -v + - uses: teatimeguest/setup-texlive-action@v2 + with: + package-file: texlive/texlive_packages + - run: sudo apt-get install -y ghostscript python3-pygments + - run: make ugent2016.zip + - uses: softprops/action-gh-release@v1 + with: + files: ugent2016.zip