Repository navigation
First-run start point: identity, echidna.prove.result/1 consumer, template shape #67
Workflow file for this run
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # This workflow is managed by gh actions-lock. | |
| # SPDX-License-Identifier: MPL-2.0 | |
| # This workflow is managed by gh actions-lock. | |
| name: GitHub Pages (Ddraig SSG) | |
| on: | |
| pull_request: | |
| push: | |
| branches: [main, master] | |
| workflow_dispatch: | |
| permissions: | |
| contents: read | |
| concurrency: | |
| group: "pages-${{ github.ref }}" | |
| cancel-in-progress: false | |
| jobs: | |
| build: | |
| name: Build Ddraig Pages artifact | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 15 | |
| container: | |
| image: ghcr.io/stefan-hoeck/idris2-pack@sha256:f0758996a931fb35d9ecb1de273c4d59dabe2a09b433afc7e357f65a08b7e1ff | |
| steps: | |
| - name: Checkout Site | |
| uses: actions/checkout@v4.4.0 | |
| with: | |
| persist-credentials: false | |
| - name: Checkout Ddraig SSG | |
| uses: actions/checkout@v4.4.0 | |
| with: | |
| repository: hyperpolymath/ddraig-ssg | |
| ref: 43e1b9c4c970994bc32313c3e2e21a5e0bba8f77 | |
| path: .ddraig-ssg | |
| persist-credentials: false | |
| - name: Install documentation converters | |
| run: apt-get update && apt-get install -y --no-install-recommends asciidoctor pandoc | |
| - name: Compile Ddraig | |
| working-directory: .ddraig-ssg | |
| run: idris2 Ddraig.idr -o ddraig && test -x build/exec/ddraig | |
| - name: Build site | |
| run: | | |
| set -eu | |
| mkdir -p .site-src | |
| asciidoctor -b docbook5 -o .site-src/readme.xml README.adoc | |
| printf '# Proof Burrower\n\n' > .site-src/index.md | |
| pandoc -f docbook -t gfm --shift-heading-level-by=1 .site-src/readme.xml >> .site-src/index.md | |
| ./.ddraig-ssg/build/exec/ddraig build .site-src _site https://hyperpolymath.github.io/proof-burrower/ | |
| test -s _site/index.html | |
| - name: Upload artifact | |
| uses: actions/upload-pages-artifact@v3.0.1 | |
| with: | |
| path: '_site' | |
| deploy: | |
| if: github.event_name != 'pull_request' && github.ref == 'refs/heads/main' | |
| permissions: | |
| pages: write | |
| id-token: write | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 15 | |
| needs: build | |
| steps: | |
| - name: Deploy to GitHub Pages | |
| id: deployment | |
| uses: actions/deploy-pages@v4.0.5 |