[docs] Build docs only when doc files change

This commit is contained in:
Mishig 2023-08-10 21:33:32 +02:00 committed by GitHub
parent e58ad6dd66
commit 5980565091
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 0 deletions

View File

@ -2,6 +2,8 @@ name: Build documentation
on: on:
push: push:
paths:
- "docs/source/**"
branches: branches:
- main - main
- doc-builder* - doc-builder*

View File

@ -2,6 +2,8 @@ name: Build PR Documentation
on: on:
pull_request: pull_request:
paths:
- "docs/source/**"
concurrency: concurrency:
group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }} group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}