|
|
@ -1,6 +1,10 @@
|
|
|
|
name: Build Adventurer's Guide
|
|
|
|
name: Build Adventurer's Guide
|
|
|
|
run-name: ${{ github.actor }} is building Adventurer's Guide
|
|
|
|
run-name: ${{ github.actor }} is building Adventurer's Guide
|
|
|
|
on: [push]
|
|
|
|
on:
|
|
|
|
|
|
|
|
push:
|
|
|
|
|
|
|
|
branches:
|
|
|
|
|
|
|
|
- main
|
|
|
|
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
jobs:
|
|
|
|
Build-PDF:
|
|
|
|
Build-PDF:
|
|
|
|
runs-on: registry.gitlab.com/islandoftex/images/texlive:TL2023-2023-04-09-medium
|
|
|
|
runs-on: registry.gitlab.com/islandoftex/images/texlive:TL2023-2023-04-09-medium
|
|
|
@ -17,9 +21,8 @@ jobs:
|
|
|
|
- name: Build PDF with `latexmk`
|
|
|
|
- name: Build PDF with `latexmk`
|
|
|
|
run: latexmk
|
|
|
|
run: latexmk
|
|
|
|
- run: echo "PDF built"
|
|
|
|
- run: echo "PDF built"
|
|
|
|
- run: echo "GHtoken: $GITHUB_TOKEN"
|
|
|
|
- run: echo "GHtoken $GITHUB_TOKEN"
|
|
|
|
- run: echo "gt token: $GITEA_TOKEN"
|
|
|
|
- run: echo "gt token $GITEA_TOKEN"
|
|
|
|
# - name: Publish package
|
|
|
|
# - name: Publish package
|
|
|
|
# run: |
|
|
|
|
# run: |
|
|
|
|
# curl
|
|
|
|
# curl
|
|
|
|
|
|
|
|
|