chore: bump modernc.org/sqlite from 1.58.0 to 1.59.0 (#171) #44
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
| name: Pages | |
| on: | |
| push: | |
| branches: [main] | |
| pull_request: | |
| branches: [main] | |
| workflow_dispatch: | |
| permissions: | |
| contents: read | |
| # Deployments queue rather than cancel: a half-published site is worse than a | |
| # slightly stale one. | |
| concurrency: | |
| group: pages | |
| cancel-in-progress: false | |
| env: | |
| # Pinned rather than 'latest': the site depends on Hugo's mount and render-hook | |
| # behaviour, and hugo.toml documents a v0.165.0 quirk in module.mounts. | |
| HUGO_VERSION: 0.165.0 | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@d23441a48e516b6c34aea4fa41551a30e30af803 # v6 | |
| with: | |
| # The theme is a submodule; fetch-depth 0 gives every page its | |
| # last-modified date from git history (enableGitInfo). | |
| submodules: recursive | |
| fetch-depth: 0 | |
| - name: Install Hugo | |
| run: | | |
| curl -sSLo hugo.deb "https://github.com/gohugoio/hugo/releases/download/v${HUGO_VERSION}/hugo_extended_${HUGO_VERSION}_linux-amd64.deb" | |
| sudo dpkg -i hugo.deb | |
| # Runs on pull requests too. docs/*.md keep plain relative links so they | |
| # stay readable on github.com, which means a renamed page only shows up as | |
| # a broken link here — the build is the check. | |
| - name: Build | |
| run: hugo --gc --minify | |
| - name: Check every internal link resolves | |
| run: ./scripts/check-site-links.py | |
| - uses: actions/upload-pages-artifact@fc324d3547104276b827a68afc52ff2a11cc49c9 # v5.0.0 | |
| if: github.event_name != 'pull_request' | |
| with: | |
| path: ./public | |
| deploy: | |
| needs: build | |
| if: github.event_name != 'pull_request' | |
| runs-on: ubuntu-latest | |
| permissions: | |
| contents: read | |
| pages: write | |
| id-token: write | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| steps: | |
| - name: Deploy to GitHub Pages | |
| id: deployment | |
| uses: actions/deploy-pages@368f82528645a54fb793d4d04e342629a3f51346 # v5.0.1 |