From ce0edfa1cc32332f2436bf38f4c32b5a108d9bf5 Mon Sep 17 00:00:00 2001 From: Oscar Spencer Date: Thu, 6 Nov 2025 19:58:23 -0500 Subject: [PATCH] chore: Run ci only on pull_request and push to main --- .github/workflows/esy.yml | 5 +++-- .github/workflows/opam.yml | 5 +++-- 2 files changed, 6 insertions(+), 4 deletions(-) diff --git a/.github/workflows/esy.yml b/.github/workflows/esy.yml index 033a65f..c0f715a 100644 --- a/.github/workflows/esy.yml +++ b/.github/workflows/esy.yml @@ -1,7 +1,8 @@ name: Esy on: - - push - - pull_request + push: + branches: [main] + pull_request: jobs: build: diff --git a/.github/workflows/opam.yml b/.github/workflows/opam.yml index bfdf840..08d15c8 100644 --- a/.github/workflows/opam.yml +++ b/.github/workflows/opam.yml @@ -1,7 +1,8 @@ name: Opam on: - - push - - pull_request + push: + branches: [main] + pull_request: jobs: build: