Ignore docs path. (#6271)

This commit is contained in:
SamTV12345 2024-03-23 22:10:21 +01:00 committed by GitHub
parent 17d3339e14
commit 6def26b2f0
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
9 changed files with 52 additions and 8 deletions

View file

@ -1,7 +1,13 @@
name: "Backend tests"
# any branch is useful for testing before a PR is submitted
on: [push, pull_request]
on:
push:
paths-ignore:
- "doc/**"
pull_request:
paths-ignore:
- "doc/**"
permissions:
contents: read