playing with workflow
Build and Deploy Documentation / build-and-deploy (push) Successful in 3s

This commit is contained in:
2026-06-01 11:08:21 +02:00
parent 7328177681
commit 4dcd19bd53
2 changed files with 2 additions and 1 deletions
+1 -1
View File
@@ -30,5 +30,5 @@ jobs:
mv site/* .
git add .
git commit -m "Update site - $(date)"
git push -f https://${{secrets.GITHUB_TOKEN}}@gitea.psi.ch/${{ github.repository }}.git gitea-pages
git push -f https://${{secrets.GITHUB_TOKEN}}@gitea.psi.ch/Controls/gitea-pages.git gitea-pages
+1
View File
@@ -11,6 +11,7 @@
repo_url = "https://gitea.psi.ch/controls"
#edit_uri = "_edit/main/docs/"
edit_uri = "_edit/master/"
docs_dir = "epics"
#extra_javascript = [
# "javascripts/mathjax.js",