correct branch name: master -> main
This commit is contained in:
parent
04dcf16c9a
commit
71d393fad1
1 changed files with 2 additions and 2 deletions
4
.github/workflows/integrate.yaml
vendored
4
.github/workflows/integrate.yaml
vendored
|
|
@ -7,7 +7,7 @@ on:
|
|||
- "flake.lock"
|
||||
- "agora.cabal"
|
||||
branches:
|
||||
- master
|
||||
- main
|
||||
- staging
|
||||
pull_request:
|
||||
paths:
|
||||
|
|
@ -88,7 +88,7 @@ jobs:
|
|||
# which is set to automatically deploy to https://liqwid-labs.github.io/agora/.
|
||||
- name: Publish Documentation
|
||||
uses: peaceiris/actions-gh-pages@v3
|
||||
if: github.ref == 'refs/heads/master'
|
||||
if: github.ref == 'refs/heads/main'
|
||||
with:
|
||||
github_token: ${{ secrets.GITHUB_TOKEN }}
|
||||
publish_dir: ./result/agora/html
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue