diff --git a/.github/workflows/github-page.yml b/.github/workflows/github-page.yml index d8bda9138b..1ea2acd980 100644 --- a/.github/workflows/github-page.yml +++ b/.github/workflows/github-page.yml @@ -3,7 +3,7 @@ name: "Haddock documentation" on: push: branches: - - main + - master jobs: build: @@ -58,7 +58,7 @@ jobs: path: ./haddocks.tgz - name: Deploy documentation to gh-pages 🚀 - if: github.ref == 'refs/heads/main' + if: github.ref == 'refs/heads/master' uses: peaceiris/actions-gh-pages@v3 with: github_token: ${{ secrets.GITHUB_TOKEN || github.token }} diff --git a/.github/workflows/haskell.yml b/.github/workflows/haskell.yml index 0659eeda12..a1f90674e1 100644 --- a/.github/workflows/haskell.yml +++ b/.github/workflows/haskell.yml @@ -4,12 +4,12 @@ on: merge_group: pull_request: push: - # we need this to populate cache for `main` branch to make it available to the child branches, see + # we need this to populate cache for `master` branch to make it available to the child branches, see # https://docs.github.com/en/actions/using-workflows/caching-dependencies-to-speed-up-workflows#restrictions-for-accessing-a-cache branches: - - main + - master # GH caches are removed when not accessed within 7 days - this schedule runs the job every 6 days making - # sure that we always have some caches on main + # sure that we always have some caches on master schedule: - cron: '0 0 */6 * *' diff --git a/.github/workflows/hls.yml b/.github/workflows/hls.yml index 17f405f27d..729afa8dc7 100644 --- a/.github/workflows/hls.yml +++ b/.github/workflows/hls.yml @@ -4,7 +4,7 @@ on: pull_request: push: branches: - - main + - master permissions: contents: read