This commit is contained in:
Maximilian Keßler 2023-10-18 09:22:08 +02:00
parent 3483a24dca
commit 6aa92357e0
Signed by: max
GPG key ID: BCC5A619923C0BA5
3 changed files with 37 additions and 47 deletions

View file

@ -15,4 +15,3 @@ cd build
mv LatexPackagesBuild LatexPackages mv LatexPackagesBuild LatexPackages
zip -r LatexPackages.zip LatexPackages/ -x '*.git*' zip -r LatexPackages.zip LatexPackages/ -x '*.git*'
zip -r LatexPackagesDocumentation.zip documentation zip -r LatexPackagesDocumentation.zip documentation
tree -H '.' -I "index.html" -D --charset utf-8 -T "LatexPackages" > index.html

View file

@ -1,13 +1,13 @@
# ! /bin/sh # ! /bin/sh
set -e set -e
ssh git@gitlab.com
git clone git@gitlab.com:latexci/packages/LatexPackagesBuild.git build/LatexPackagesBuild
cd build/LatexPackagesBuild cd build/LatexPackagesBuild
REMOTE_BRANCH=$(git branch -a | sed -n '/remotes\/origin\/.*-build/p' | sed 's/remotes\/origin\///g' | sed 's/-build//g' | sed 's/[[:space:]]//g' | sed -n "/^${CI_COMMIT_REF_NAME}$/p") REMOTE_BRANCH=$(git branch -a | sed -n '/remotes\/origin\/.*-build/p' | sed 's/remotes\/origin\///g' | sed 's/-build//g' | sed 's/[[:space:]]//g' | sed -n "/^${CI_COMMIT_REF_NAME}$/p")
echo ${REMOTE_BRANCH} echo ${REMOTE_BRANCH}
if [ "$REMOTE_BRANCH" = "" ];then if [ "$REMOTE_BRANCH" = "" ]; then
echo "This is the first build on this branch, creating new branch in build repository to push to" echo "This is the first build on this branch, creating new branch in build repository to push to"
git checkout --orphan ${CI_COMMIT_REF_NAME}-build git checkout --orphan ${CI_COMMIT_REF_NAME}-build
ls -ra | sed '/^\.git$/d' | sed '/^\.\.$/d' | sed '/^\.$/d' | xargs -r git rm --cached ls -ra | sed '/^\.git$/d' | sed '/^\.\.$/d' | sed '/^\.$/d' | xargs -r git rm --cached

View file

@ -1,44 +1,35 @@
stages: name: Build LaTeX packages
- get on: [push]
- build
- pages
get-build-repo: jobs:
stage: get build:
before_script: runs-on: latex-latest
- source .ci/configure_git.sh steps:
script: - name: Checkout repository
- echo "Getting old Build repo..." uses: actions/checkout@v4
- .ci/get_build_repo_from_origin.sh - name: Setup git credentials and committer
artifacts: run: .ci/configure_git.sh
paths: - name: Clone build repository
- build/ uses: actions/checkout@v4
tags: with:
- latex repository: latex-packages/latex-packages-build
fetch-depth: 0 # We need all history to correctly parse tag names
build-packages: fetch-tags: true
stage: build path: build/LatexPackagesBuild
before_script: - name: Checkout correct branch in build repository
- source .ci/configure_git.sh run: |
script: .ci/setup_build_repo_branch.sh
- echo "Building packages incrementally..." cd build/LatexPackagesBuild
- sh .ci/ci_build.sh git ls-remote --heads
variables: - name: Build packages
GIT_SUBMODULE_STRATEGY: recursive run: |
artifacts: .ci/ci_build.sh # Note that this includes pushing to the build mirror
paths: deploy-pages:
- build/ runs-on: ubuntu-latest
tags: needs: build
- latex if: github.ref == 'refs/heads/master'
steps:
pages: - name: Deploy to pages
stage: pages uses: actions/pages@v1
artifacts: with:
paths: directory: build/
- public/
script:
- mv build/ public/
tags:
- latex
only:
- master