Skip to content

adjust for downstream branch name change #1137

adjust for downstream branch name change

adjust for downstream branch name change #1137

Triggered via pull request November 10, 2025 15:22
Status Success
Total duration 1m 9s
Artifacts 1

ci.yml

on: pull_request
Build the documentation
58s
Build the documentation
Deploy to GitHub Pages
Deploy to GitHub Pages
CI finished
4s
CI finished
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
2.38 MB
sha256:4019de2db61a3fa5f162fd81ea1daf771aafba9686f0487dbfa9f84e4870c292