Skip to content

Merge changes from development repository #4

Merge changes from development repository

Merge changes from development repository #4

Triggered via pull request April 12, 2024 07:08
Status Success
Total duration 14s
Artifacts

clean_docs.yml

on: pull_request
doc-preview-cleanup
5s
doc-preview-cleanup
Fit to window
Zoom out
Zoom in