diff --git a/.github/workflows/opam.yml b/.github/workflows/opam.yml index c0298aef..8b95df3b 100644 --- a/.github/workflows/opam.yml +++ b/.github/workflows/opam.yml @@ -3,9 +3,9 @@ name: Build with opam on: push: branches: [ partial_eval ] - paths: [ '*.opam', '.github/**' ] + paths: [ '*.opam', '.github/workflows/opam.yml' ] pull_request: - paths: [ '*.opam', '.github/**' ] + paths: [ '*.opam', '.github/workflows/opam.yml' ] workflow_dispatch: # only run one instance of this action at a time.