mirror of
https://github.com/ClementTsang/bottom.git
synced 2026-05-03 21:40:32 +00:00
056748ba9f
* ci: fix clear cache workflow permissions * fix perms for deployment/nightly * more finely scope other tasks * fix nightly * change name * fix docs permissions
44 lines
1.1 KiB
YAML
44 lines
1.1 KiB
YAML
# Workflow to publish to GitHub Pages. Based on the normal
|
|
# job (e.g. https://github.com/ClementTsang/bottom/actions/runs/19805277892),
|
|
# but re-implemented so I can pin hashes.
|
|
|
|
name: Publish GitHub Pages
|
|
|
|
on:
|
|
workflow_dispatch:
|
|
workflow_call:
|
|
|
|
permissions: {}
|
|
|
|
jobs:
|
|
build:
|
|
runs-on: ubuntu-24.04
|
|
steps:
|
|
- name: Checkout repository
|
|
uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
|
|
with:
|
|
ref: gh-pages
|
|
submodules: recursive
|
|
fetch-depth: 1
|
|
|
|
- name: Upload artifact
|
|
id: upload
|
|
uses: actions/upload-pages-artifact@7b1f4a764d45c48632c6b24a0339c27f5614fb0b # v4.0.0
|
|
with:
|
|
path: "./"
|
|
|
|
deploy:
|
|
runs-on: ubuntu-24.04
|
|
needs: build
|
|
if: github.ref == 'refs/heads/main'
|
|
environment:
|
|
name: github-pages
|
|
url: ${{ steps.deploy.outputs.page_url }}
|
|
permissions:
|
|
pages: write
|
|
id-token: write
|
|
steps:
|
|
- name: Deploy to GitHub Pages
|
|
id: deploy
|
|
uses: actions/deploy-pages@d6db90164ac5ed86f2b6aed7e0febac5b3c0c03e # v4.0.5
|