Skip to content

chore: change 'Jenkins CI' to 'Jenkins' #2311

chore: change 'Jenkins CI' to 'Jenkins'

chore: change 'Jenkins CI' to 'Jenkins' #2311

Triggered via pull request April 23, 2025 07:27
Status Success
Total duration 37s
Artifacts

ci.yaml

on: pull_request
build-and-validate-docs
26s
build-and-validate-docs
Fit to window
Zoom out
Zoom in