build(gh-pages): change rule to docs build (#2269)

This commit is contained in:
Mário Victor Ribeiro Silva 2023-11-27 09:41:34 -03:00 committed by GitHub
parent 5605958b98
commit 8885d92485
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 10 additions and 1 deletions

View File

@ -1,6 +1,15 @@
name: documentation
on: [push, pull_request, workflow_dispatch]
on:
push:
paths:
- "docs/**"
pull_request:
paths:
- "docs/**"
workflow_dispatch:
permissions:
contents: write