2023-10-18 09:22:08 +02:00
|
|
|
name: Build LaTeX packages
|
|
|
|
|
on: [push]
|
2021-10-24 10:35:53 +02:00
|
|
|
|
2023-10-18 09:22:08 +02:00
|
|
|
jobs:
|
|
|
|
|
build:
|
|
|
|
|
runs-on: latex-latest
|
|
|
|
|
steps:
|
|
|
|
|
- name: Checkout repository
|
|
|
|
|
uses: actions/checkout@v4
|
|
|
|
|
- name: Setup git credentials and committer
|
|
|
|
|
run: .ci/configure_git.sh
|
|
|
|
|
- name: Clone build repository
|
|
|
|
|
uses: actions/checkout@v4
|
|
|
|
|
with:
|
|
|
|
|
repository: latex-packages/latex-packages-build
|
|
|
|
|
fetch-depth: 0 # We need all history to correctly parse tag names
|
|
|
|
|
fetch-tags: true
|
|
|
|
|
path: build/LatexPackagesBuild
|
|
|
|
|
- name: Checkout correct branch in build repository
|
|
|
|
|
run: |
|
|
|
|
|
.ci/setup_build_repo_branch.sh
|
|
|
|
|
cd build/LatexPackagesBuild
|
|
|
|
|
git ls-remote --heads
|
|
|
|
|
- name: Build packages
|
|
|
|
|
run: |
|
|
|
|
|
.ci/ci_build.sh # Note that this includes pushing to the build mirror
|
|
|
|
|
deploy-pages:
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
needs: build
|
|
|
|
|
if: github.ref == 'refs/heads/master'
|
|
|
|
|
steps:
|
|
|
|
|
- name: Deploy to pages
|
|
|
|
|
uses: actions/pages@v1
|
|
|
|
|
with:
|
|
|
|
|
directory: build/
|
