.forgejo/workflows/deploy-dgnum.yaml

@@ -0,0 +1,38 @@
+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: |
+          nix build
+
+      - name: Clone dgnum.eu
+        uses: actions/checkout@v3
+        env:
+          GITEA_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 ../*