name: Publish website to Codeberg Pages
run-name: publish-dgnum.eu

on:
  push:
    branches:
      - master
      - test-deploy

jobs:
  publish:
    runs-on: native
    steps:
      - uses: actions/checkout@v3
        with:
          path: dgnum.eu

      - name: Build website
        run: |
          # Hack to set the cache in the working directory
          HOME="$GITHUB_WORKSPACE" nix-build dgnum.eu

      - name: Clone dgnum.eu pages
        uses: actions/checkout@v3
        env:
          GITHUB_SERVER_URL: 'https://codeberg.org'
        with:
          repository: 'DGNum/pages'
          path: pages

      - name: Update assets
        run: |
          rm -r ../pages/*
          cp -R --no-preserve=mode,ownership,timestamps result/* ../pages/

      - name: Push new website
        run: |
          ls *
          ls ../*