From 6df5a27640fd229eb48756022d566ab431faf6ed Mon Sep 17 00:00:00 2001 From: Max Horn Date: Tue, 20 Oct 2026 15:07:53 +0200 Subject: [PATCH] Run CI on pushes to main only A branch with an open pull request was built twice, once for the push and once for the pull request, and each build takes about an hour. Pull requests still get built. Assisted-by: Generative AI --- .github/workflows/build_cygwin_gap_release.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/build_cygwin_gap_release.yml b/.github/workflows/build_cygwin_gap_release.yml index 3045b1e..7049fe3 100644 --- a/.github/workflows/build_cygwin_gap_release.yml +++ b/.github/workflows/build_cygwin_gap_release.yml @@ -3,6 +3,8 @@ name: GAP Windows release # Based on https://github.com/mit-plv/fiat-crypto/blob/master/.github/workflows/coq-windows.yml on: push: + branches: + - main pull_request: env: