diff --git a/.github/workflows/v_apps_and_modules_compile_ci.yml b/.github/workflows/v_apps_and_modules_compile_ci.yml index 6b2c142bd5..e4ab3d0763 100644 --- a/.github/workflows/v_apps_and_modules_compile_ci.yml +++ b/.github/workflows/v_apps_and_modules_compile_ci.yml @@ -6,11 +6,13 @@ on: - '**.md' - '**.yml' - '!**/v_apps_and_modules_compile_ci.yml' + - 'cmd/tools/vrepl.v' pull_request: paths-ignore: - '**.md' - '**.yml' - '!**/v_apps_and_modules_compile_ci.yml' + - 'cmd/tools/vrepl.v' concurrency: group: ${{ github.workflow }}-${{ github.ref == 'refs/heads/master' && github.sha || github.ref }}