Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorMário Victor Ribeiro Silva <mariovictorrs@gmail.com>2023-11-27 09:41:34 -0300
committerGitHub <noreply@github.com>2023-11-27 13:41:34 +0100
commit8885d924851872fd626c01e967ef94328c13387c (patch)
treeafdbd8c293e95655e70c741dd75b67ab368d6824 /.github
parent5605958b98831369e4c0b950e5c44f70c4191628 (diff)
build(gh-pages): change rule to docs build (#2269)
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/github-pages.yml11
1 files changed, 10 insertions, 1 deletions
diff --git a/.github/workflows/github-pages.yml b/.github/workflows/github-pages.yml
index 40834229..9d572ca4 100644
--- a/.github/workflows/github-pages.yml
+++ b/.github/workflows/github-pages.yml
@@ -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