mirror of
https://github.com/ClementTsang/bottom.git
synced 2026-09-20 09:35:39 +00:00
Clement Tsang
53f0236050
* ci: migrate from cirrus for 2.17 to cross CirrusCI is going to be stopped soon after the OAI acquisition, so we're on a clock to move away from it. Thankfully, we only use it for 2.17 builds for CentOS. Looks like supporting 2.17 is natively supported by cross (https://github.com/cross-rs/cross/issues/680), so this PR tries to use that to do it instead. * it's uppercase * use older version * revert + pin version * typo * allow overriding artifact name * update comment
42 lines
1.1 KiB
YAML
42 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:
|
|
|
|
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
|