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: