diff options
| author | mzuenni <michi.zuendorf@gmail.com> | 2024-08-13 02:30:33 +0200 |
|---|---|---|
| committer | mzuenni <michi.zuendorf@gmail.com> | 2024-08-13 02:30:33 +0200 |
| commit | 5c01a5e7918cb51cdc4719ebc6fe03b69176f75a (patch) | |
| tree | 2ff7a9961644f01849c0ac94f5c04aac181623dd | |
| parent | 5d432dfa301abded0825c190a13628a6c1e3d506 (diff) | |
remove release workflow
| -rw-r--r-- | .github/workflows/release_pdf.yml | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/.github/workflows/release_pdf.yml b/.github/workflows/release_pdf.yml deleted file mode 100644 index c78ef83..0000000 --- a/.github/workflows/release_pdf.yml +++ /dev/null @@ -1,19 +0,0 @@ -on: - workflow_dispatch: - -jobs: - pdf: - name: Release pdf - runs-on: ubuntu-latest - timeout-minutes: 5 - steps: - - uses: actions/checkout@v4 - - run: | - sudo apt-get update - sudo apt-get install latexmk texlive-latex-base texlive-latex-recommended texlive-latex-extra texlive-lang-german texlive-fonts-extra - - run: make - - uses: softprops/action-gh-release@v2 - with: - name: Release - tag_name: Release - files: tcr.pdf |