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
        run: |
          git clone https://codeberg.org/DGNum/pages

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

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