3e779be6f3
CI / lint (push) Failing after 13m4s
CI / test (3.11, ubuntu-latest) (push) Failing after 2m4s
CI / test (3.13, ubuntu-latest) (push) Successful in 13m30s
CI / test (3.14, ubuntu-latest) (push) Successful in 17m21s
CI / test (3.12, ubuntu-latest) (push) Successful in 17m55s
CI / discover-apps-ps (push) Successful in 1m56s
CI / test (3.9, ubuntu-latest) (push) Successful in 13m17s
CI / test (3.10, ubuntu-latest) (push) Successful in 26m21s
CI / audit (push) Successful in 13m38s
Deploy site / deploy (push) Has been cancelled
CI / test (3.14, ubuntu-24.04-arm) (push) Has been cancelled
41 lines
1.0 KiB
YAML
41 lines
1.0 KiB
YAML
# Deploy the winpodx.org landing page (web/) to GitHub Pages.
|
|
#
|
|
# Requires repo Settings -> Pages -> Source = "GitHub Actions" (one-time, done
|
|
# in the UI) and the custom domain winpodx.org configured there. The CNAME
|
|
# file in web/ is published with the site so the custom domain sticks.
|
|
name: Deploy site
|
|
|
|
on:
|
|
push:
|
|
branches: [main]
|
|
paths:
|
|
- "web/**"
|
|
- ".github/workflows/pages.yml"
|
|
workflow_dispatch:
|
|
|
|
permissions:
|
|
contents: read
|
|
pages: write
|
|
id-token: write
|
|
|
|
# Never run two deploys at once; let an in-flight one finish (don't cancel,
|
|
# so a partial publish can't clobber a good one).
|
|
concurrency:
|
|
group: pages
|
|
cancel-in-progress: false
|
|
|
|
jobs:
|
|
deploy:
|
|
runs-on: ubuntu-latest
|
|
environment:
|
|
name: github-pages
|
|
url: ${{ steps.deployment.outputs.page_url }}
|
|
steps:
|
|
- uses: actions/checkout@v4
|
|
- uses: actions/configure-pages@v5
|
|
- uses: actions/upload-pages-artifact@v3
|
|
with:
|
|
path: web
|
|
- id: deployment
|
|
uses: actions/deploy-pages@v4
|