also add workflow dispatch

This commit is contained in:
2024-05-07 07:41:37 +02:00
parent e217af622e
commit b03ff6a2be

View File

@@ -2,6 +2,7 @@ name: Deploy to GitHub Pages
on:
push:
workflow_dispatch:
jobs:
deploy: