From b5fd07aa6da22acccc2f47afc21a51d2aff71bf1 Mon Sep 17 00:00:00 2001 From: mintyfrankie <77310871+mintyfrankie@users.noreply.github.com> Date: Mon, 22 Jul 2024 21:24:00 +0200 Subject: [PATCH] fix: delete dedicated files --- .github/workflows/release.yaml | 26 -------------------------- 1 file changed, 26 deletions(-) delete mode 100644 .github/workflows/release.yaml diff --git a/.github/workflows/release.yaml b/.github/workflows/release.yaml deleted file mode 100644 index e83fd32..0000000 --- a/.github/workflows/release.yaml +++ /dev/null @@ -1,26 +0,0 @@ -name: Add Documentation upon Release - -on: - release: - types: - - published - workflow_dispatch: - -jobs: - compile: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v4 - - uses: fontist/setup-fontist@v2 - - run: fontist install "Roboto" - - run: fontist install "Source Sans 3" - - uses: typst-community/setup-typst@v3 - - run: typst compile ./docs/docs.typ --root ./ --font-path /home/runner/.fontist/fonts - - uses: actions/upload-artifact@v4 - with: - name: docs - path: ./docs/docs.pdf - - uses: softprops/action-gh-release@v2 - if: ${{ startsWith(github.ref, 'refs/tags/') }} - with: - files: ./docs/docs.pdf \ No newline at end of file