diff --git a/.github/workflows/ci-ubuntu.yml b/.github/workflows/ci-ubuntu.yml index 2ecc969589..7a13f97fae 100644 --- a/.github/workflows/ci-ubuntu.yml +++ b/.github/workflows/ci-ubuntu.yml @@ -5,9 +5,6 @@ on: - master - experimental pull_request: - branches: - - master - - experimental ######################################################################## ## CONFIGURATION diff --git a/.github/workflows/haskell-ci.yml b/.github/workflows/haskell-ci.yml index b8c55c19be..c81c8572de 100644 --- a/.github/workflows/haskell-ci.yml +++ b/.github/workflows/haskell-ci.yml @@ -24,9 +24,6 @@ on: - cabal.haskell-ci - "*.hs" pull_request: - branches: - - master - - experimental paths: - .github/workflows/haskell-ci.yml - agda-stdlib-utils.cabal