Skip to content

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

chore: change 'Jenkins CI' to 'Jenkins'

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

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

ci.yaml

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