diff --git a/.github/workflows/bootstrapping_ci.yml b/.github/workflows/bootstrapping_ci.yml index afb3f8a853..07cef1bc13 100644 --- a/.github/workflows/bootstrapping_ci.yml +++ b/.github/workflows/bootstrapping_ci.yml @@ -3,13 +3,23 @@ name: Bootstrapping CI on: push: paths-ignore: - - '**.md' - '**.yml' + - '**.md' + - '**.vv' + - '**.out' + - 'cmd/tools/**' + - '!cmd/tools/builders/**.v' + - '!cmd/tools/vup.v' - '!**/bootstrapping_ci.yml' pull_request: paths-ignore: - - '**.md' - '**.yml' + - '**.md' + - '**.vv' + - '**.out' + - 'cmd/tools/**' + - '!cmd/tools/builders/**.v' + - '!cmd/tools/vup.v' - '!**/bootstrapping_ci.yml' concurrency: