(future) use mirror/docs for on-push to docs

This commit is contained in:
reggie 2024-10-11 20:19:39 -05:00
parent 5163cf1988
commit 4fcf69ddad

View File

@ -3,8 +3,7 @@ name: Build docs
on:
push:
branches:
- 'master'
- 'mirror/master'
- 'mirror/docs'
paths:
- 'docs/**'
- '.github/workflows/docs.yml'