From 5bfb3900cc8fbed2af1005298ddb3ea5796aa171 Mon Sep 17 00:00:00 2001 From: rina Date: Mon, 4 Mar 2024 02:15:16 +1000 Subject: [PATCH] remove pr trigger --- .github/workflows/opam.yml | 2 -- 1 file changed, 2 deletions(-) diff --git a/.github/workflows/opam.yml b/.github/workflows/opam.yml index 14fc14f6..49830c8e 100644 --- a/.github/workflows/opam.yml +++ b/.github/workflows/opam.yml @@ -3,8 +3,6 @@ name: Build with opam on: push: paths: [ '*.opam' ] - pull_request: - paths: [ '*.opam' ] workflow_dispatch: # only run one instance of this action at a time.