Skip to content

Commit

Permalink
馃敡 Drop the need for a branch on doc
Browse files Browse the repository at this point in the history
Retrying #3728
  • Loading branch information
dubzzz committed Apr 15, 2023
1 parent dab4d33 commit 0a61572
Showing 1 changed file with 9 additions and 16 deletions.
25 changes: 9 additions & 16 deletions .github/workflows/build-status.yml
Expand Up @@ -281,12 +281,9 @@ jobs:
- name: Copy API reference within documentation
run: mv packages/fast-check/docs website/build/api-reference
- name: Upload documentation
uses: actions/upload-artifact@v3
uses: actions/upload-pages-artifact@v1
with:
name: docs
path: website/build/
if-no-files-found: error
retention-days: 1
test_bundle:
name: 'Test bundle'
needs:
Expand Down Expand Up @@ -474,19 +471,15 @@ jobs:
needs: documentation
if: github.event_name == 'push' && github.ref == 'refs/heads/main'
runs-on: ubuntu-latest
permissions:
pages: write
id-token: write
environment:
name: github-pages
url: ${{steps.deployment.outputs.page_url}}
steps:
- uses: actions/checkout@v3
- name: Download documentation
uses: actions/download-artifact@v3
with:
name: docs
path: website/build/
- name: Publish to gh-pages
uses: JamesIves/github-pages-deploy-action@v4.4.1
with:
branch: gh-pages
folder: website/build/
clean: true
- name: Deploy to GitHub Pages
uses: actions/deploy-pages@v2
publish_package:
name: 'Publish package'
needs:
Expand Down

0 comments on commit 0a61572

Please sign in to comment.