Skip to content

Korrektur der Daten #385

Korrektur der Daten

Korrektur der Daten #385

Workflow file for this run

name: 'Build die-koma.org'
on:
pull_request:
branches:
- main
push:
branches:
- main
jobs:
build:
name: 'Build the die-koma.org website'
runs-on: ubuntu-latest
timeout-minutes: 15
steps:
- uses: actions/checkout@v4
- uses: DeterminateSystems/nix-installer-action@v12
with:
nix-installer-tag: v0.15.1
- uses: DeterminateSystems/magic-nix-cache-action@v7
timeout-minutes: 5
- env:
BRANCH_NAME_OR_REF: ${{ github.head_ref || github.ref }}
run: echo "name=BRANCH_NAME::${BRANCH_NAME_OR_REF#refs/heads/}" >> $GITHUB_ENV
- run: echo "name=PR_NUMBER::$(jq --raw-output .pull_request.number "$GITHUB_EVENT_PATH")" >> $GITHUB_ENV
- run: nix --print-build-logs build .#KoMaHomepageTar -o homepage.tar.xz
- uses: actions/upload-artifact@v4
with:
name: build-artifacts
path: homepage.tar.xz
check-links:
name: 'Check for broken links'
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: DeterminateSystems/nix-installer-action@v12
with:
nix-installer-tag: v0.15.1
- uses: DeterminateSystems/magic-nix-cache-action@v7
- env:
BRANCH_NAME_OR_REF: ${{ github.head_ref || github.ref }}
run: echo "name=BRANCH_NAME::${BRANCH_NAME_OR_REF#refs/heads/}" >> $GITHUB_ENV
- run: echo "name=PR_NUMBER::$(jq --raw-output .pull_request.number "$GITHUB_EVENT_PATH")" >> $GITHUB_ENV
- run: nix --print-build-logs run .#check-links
release:
if: github.repository == 'Die-KoMa/die-koma.org' && github.event_name == 'push' && github.ref == 'refs/heads/main'
name: 'Release the website to the release branch'
concurrency:
# Allow one concurrent deployment
group: 'release'
cancel-in-progress: true
permissions:
contents: write
needs: build
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
ref: release
- uses: actions/download-artifact@v4
with:
name: build-artifacts
- run: rm -rf homepage
- run: tar xvf homepage.tar*
- run: mv dist homepage
- run: git add homepage
- run: git status
- run: git config --global user.email "[email protected]"
- run: git config --global user.name "KoMa GitHub Runner"
- run: git commit -m "Update homepage built from $GITHUB_SHA" || true
- run: git push