feat: enhance GitHub Actions workflow for LaTeX document processing and add Italian hyphenation patterns
This commit is contained in:
17
.github/workflows/main.yml
vendored
17
.github/workflows/main.yml
vendored
@@ -7,7 +7,7 @@ on:
|
|||||||
branches: [ main ]
|
branches: [ main ]
|
||||||
|
|
||||||
env:
|
env:
|
||||||
TEX_NAME: Tesi.tex
|
TEX_NAME: Tesi
|
||||||
PDF_NAME: Tesi.pdf
|
PDF_NAME: Tesi.pdf
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
@@ -32,14 +32,25 @@ jobs:
|
|||||||
- name: Enable automatic package installation
|
- name: Enable automatic package installation
|
||||||
run: initexmf --set-config-value=[MPM]AutoInstall=yes
|
run: initexmf --set-config-value=[MPM]AutoInstall=yes
|
||||||
|
|
||||||
- name: Build LaTeX document
|
- name: Build LaTeX document (first run)
|
||||||
|
run: |
|
||||||
|
pdflatex -interaction=nonstopmode -halt-on-error ${{ env.TEX_NAME }} || (cat /root/.miktex/texmfs/data/miktex/log/pdflatex.log && exit 1)
|
||||||
|
|
||||||
|
- name: Run Biber to process bibliography
|
||||||
|
run: biber ${{ env.TEX_NAME }}
|
||||||
|
|
||||||
|
- name: Build LaTeX document (second run)
|
||||||
|
run: |
|
||||||
|
pdflatex -interaction=nonstopmode -halt-on-error ${{ env.TEX_NAME }} || (cat /root/.miktex/texmfs/data/miktex/log/pdflatex.log && exit 1)
|
||||||
|
|
||||||
|
- name: Build LaTeX document (third run)
|
||||||
run: |
|
run: |
|
||||||
pdflatex -interaction=nonstopmode -halt-on-error ${{ env.TEX_NAME }} || (cat /root/.miktex/texmfs/data/miktex/log/pdflatex.log && exit 1)
|
pdflatex -interaction=nonstopmode -halt-on-error ${{ env.TEX_NAME }} || (cat /root/.miktex/texmfs/data/miktex/log/pdflatex.log && exit 1)
|
||||||
|
|
||||||
- name: Check for PDF artifact
|
- name: Check for PDF artifact
|
||||||
run: file ${{ env.PDF_NAME }} || grep -q ' PDF '
|
run: file ${{ env.PDF_NAME }} || grep -q ' PDF '
|
||||||
|
|
||||||
- name: Delete release and tag by tag name`:` latest
|
- name: Delete latest release and tag
|
||||||
if: github.event_name == 'push' && github.ref == 'refs/heads/main'
|
if: github.event_name == 'push' && github.ref == 'refs/heads/main'
|
||||||
run: |
|
run: |
|
||||||
curl -H "Authorization: token ${{ secrets.RELEASE_TOKEN }}" -X DELETE https://gitea.kobim.cloud/api/v1/repos/${{ github.repository }}/releases/tags/latest
|
curl -H "Authorization: token ${{ secrets.RELEASE_TOKEN }}" -X DELETE https://gitea.kobim.cloud/api/v1/repos/${{ github.repository }}/releases/tags/latest
|
||||||
|
Reference in New Issue
Block a user