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

This commit is contained in:
Alexey Shekhirin
2024-03-07 17:08:51 +00:00
committed by GitHub
parent 1cd05b09ef
commit 91c7dd04b7
6 changed files with 13 additions and 38 deletions

View File

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