Issue and PR Labeler

Update docs theme and remove docs env pins #1190

Sign in to view logs

Triggered via pull request October 14, 2025 09:56

opened #9125

jacobtomlinson:sphinx-8

Status Success

Total duration 11s

Artifacts –

label-all.yml

on: pull_request

label-all-on-open