From 5fdb54770ab4241ecdfacb938a03402308f15ccf Mon Sep 17 00:00:00 2001 From: rina Date: Wed, 24 Jul 2024 15:09:57 +1000 Subject: [PATCH] ci: only run opam on opam.yml changes --- .github/workflows/opam.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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.