Stop deploying docs on push to main branch

The current behavior is prone to introducing unwanted
drift between docs and latest image. Change deployment
to happen on release only, and leave a workflow_dispatch
for when smaller fixes need to go out without a release.
This commit is contained in:
Frederik Ring
2025-11-12 11:28:32 +01:00
parent 946a5ea24b
commit 7a705a46f0
3 changed files with 3 additions and 6 deletions

View File

@@ -2,10 +2,7 @@ name: Deploy Documenation site to GitHub Pages
on:
push:
branches: ['main']
paths:
- 'docs/**'
- '.github/workflows/deploy-docs.yml'
tags: v**
workflow_dispatch:
permissions: