diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 29201191..49ca466a 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,6 +1,8 @@ name: ci on: push: + branches-ignore: + - 'ghc-next' pull_request: schedule: - cron: '0 3 * * 6' # 3am Saturday