From 4c437bcbc5a09d3d23f190f52da288c26770011f Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Wed, 3 Jan 2024 17:33:54 +0100 Subject: [PATCH] Update opam workflow to avoid double runs --- .github/workflows/opam.yml | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/.github/workflows/opam.yml b/.github/workflows/opam.yml index 22e563a8b..90922403b 100644 --- a/.github/workflows/opam.yml +++ b/.github/workflows/opam.yml @@ -4,7 +4,12 @@ concurrency: group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }} cancel-in-progress: true -on: [push, pull_request, workflow_dispatch] +on: + pull_request: + push: + branches: + - main + workflow_dispatch: jobs: build-and-test: