Repository navigation

CI: only deploy the website from the head of `main` - #4230

Merged

nstepien merged 6 commits into

mainfrom

pages-head-check

Oct 24, 2026

Merged

CI: only deploy the website from the head of `main`#4230
nstepien merged 6 commits into
mainfrom
pages-head-check

Commits on Oct 24, 2026
- CI: only deploy the website from the head of `main`
  
  nstepien
  and
  claude
  committed
  4e849ed
- CI: explain why the head check is its own job
  
  nstepien
  and
  claude
  committed
  fb9122e
- CI: read the head of `main` with `git ls-remote`
  
  nstepien
  and
  claude
  committed
  dfc3540
- CI: default to `shell: bash` in all workflows
  
  nstepien
  and
  claude
  committed
  22fa3c6
- CI: check the head of `main` in `test`, queue deployments
  
  nstepien
  and
  claude
  committed
  b94ff70
- CI: only upload the website from the head of `main`
  
  nstepien
  and
  claude
  committed
  b0d5cd8