ci: allow deploying manually

This commit is contained in:
Felipe M. 2024-03-13 00:09:10 +01:00
parent 77ad32d0c7
commit 559337b781
Signed by: fmartingr
GPG Key ID: CCFBC5637D4000A8
1 changed files with 2 additions and 0 deletions

View File

@ -3,6 +3,8 @@ name: Build pages
on:
push:
branches: [master]
# Allows you to run this workflow manually from the Actions tab
workflow_dispatch:
jobs:
build: