Skip to content

Commit

Permalink
Add GitHub Actions workflow to deploy documentation to GitHub Pages.
Browse files Browse the repository at this point in the history
  • Loading branch information
nuclearsandwich committed Aug 20, 2024
1 parent 9043f6c commit 996815f
Showing 1 changed file with 37 additions and 0 deletions.
37 changes: 37 additions & 0 deletions .github/workflows/doc.yaml
Original file line number Diff line number Diff line change
@@ -0,0 +1,37 @@
---
name: Doc build
on:

Check warning on line 3 in .github/workflows/doc.yaml

View workflow job for this annotation

GitHub Actions / yamllint

3:1 [truthy] truthy value should be one of [false, true]
push:
branches: ['main', 'docdeps']

jobs:
build:
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v4
- uses: earthly/actions-setup@v1
- name: Build documentation
run: |
earthly --ci --output +doc
upload:
needs: build
runs-on: ubuntu-22.04
steps:
- name: Upload build for GitHub Pages
uses: actions/upload-pages-artifact@v3
with:
path: doc/_build/html
deploy:
permissions:
contents: read
id-token: write
pages: write
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
needs: upload
runs-on: ubuntu-22.04
steps:
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v4

0 comments on commit 996815f

Please sign in to comment.