Skip to content

dev: rename and split workflow files #2310

dev: rename and split workflow files

dev: rename and split workflow files #2310

Triggered via pull request March 11, 2025 16:48
Status Success
Total duration 2m 30s
Artifacts

pr-documentation.yml

on: pull_request
Build documentation
2m 21s
Build documentation
Fit to window
Zoom out
Zoom in