ci: trigger the ci less often by filtering trigger files

This commit is contained in:
NotAShelf 2023-02-16 22:01:59 +03:00
commit 0a4b4ff513
No known key found for this signature in database
GPG key ID: 5B5C8895F28445F1
2 changed files with 7 additions and 4 deletions

View file

@ -4,6 +4,9 @@ on:
push:
branches:
- main
paths:
# build the manuals only when docs directory is updated
- docs/**
# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
permissions: