Skip to content

Rename staging_docs to docs and misc #178

Rename staging_docs to docs and misc

Rename staging_docs to docs and misc #178

Triggered via pull request August 1, 2024 09:29
@lubosmjlubosmj
synchronize #395
Status Success
Total duration 12s
Artifacts

pr_checks.yml

on: pull_request_target
Label multiple commit PR
4s
Label multiple commit PR
Fit to window
Zoom out
Zoom in