chore(github): skip some heavy jobs when PR is not related (#6667)

Signed-off-by: jsvisa <delweng@gmail.com>
Co-authored-by: DaniPopes <57450786+DaniPopes@users.noreply.github.com>
This commit is contained in:
Delweng
2024-03-07 03:02:29 +08:00
committed by GitHub
parent b66f54d9eb
commit efa6bbc2df
6 changed files with 38 additions and 13 deletions

View File

@ -4,9 +4,12 @@ name: integration
on:
pull_request:
paths-ignore: ["etc/**"]
merge_group:
paths-ignore: ["etc/**"]
push:
branches: [main]
paths-ignore: ["etc/**"]
env:
CARGO_TERM_COLOR: always