Skip to content

Reorganize CI jobs so they appear sensibly in the GitHub UI #2

Reorganize CI jobs so they appear sensibly in the GitHub UI

Reorganize CI jobs so they appear sensibly in the GitHub UI #2

Triggered via pull request November 19, 2025 21:59
Status Success
Total duration 20s
Artifacts

docs.yml

on: pull_request
runner / check docs
16s
runner / check docs
Fit to window
Zoom out
Zoom in