diff --git a/.github/workflows/Invalidations.yml b/.github/workflows/Invalidations.yml index 4d0004e83..648263cf4 100644 --- a/.github/workflows/Invalidations.yml +++ b/.github/workflows/Invalidations.yml @@ -13,7 +13,8 @@ jobs: evaluate: # Only run on PRs to the default branch. # In the PR trigger above branches can be specified only explicitly whereas this check should work for master, main, or any other default branch - if: github.base_ref == github.event.repository.default_branch + # if: github.base_ref == github.event.repository.default_branch + if: false # <- deactivated, see https://github.com/j-fu/VoronoiFVM.jl/issues/133 runs-on: ubuntu-latest steps: - uses: julia-actions/setup-julia@v1