print location of rendered page in workflow output

2026-06-29 14:34:03 +02:00
parent 15e177e789
commit 0d76b51cff
1 changed files with 4 additions and 0 deletions
@@ -39,3 +39,7 @@ jobs:
          REPO_URL=$(echo "${{ github.server_url }}/${{ github.repository }}.git" | sed 's|https://||')
          git push -f https://${{ secrets.GITHUB_TOKEN }}@$REPO_URL gitea-pages

+          NAMESPACE=$(echo "${{ github.repository }}" | sed 's|/.*||')
+          REPO=$(echo "${{ github.repository }}" | sed -e 's|^[^/]*/|/|' -e 's|/gitea-pages||')
+          echo Your page is now at https://${NAMESPACE}.pages.psi.ch${REPO}
+