Docs: add the ability to manually trigger jobs (#33598)

This commit is contained in:
Joao Gante 2024-09-20 09:37:39 +01:00 committed by GitHub
parent 0c718f16d1
commit bdf4649f67
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -1,6 +1,7 @@
name: Build documentation
on:
workflow_dispatch:
push:
branches:
- main