Skip to content
Update generated parts of documentation on docs: commits

ci: update of files from global .github repo (#1454) #42

Sign in to view logs

ci: update of files from global .github repo (#1454)

ci: update of files from global .github repo (#1454) #42

Triggered via push June 12, 2024 09:30
@peter-rrpeter-rr
pushed 71d74aa
master
Status Skipped
Total duration 2s
Artifacts –

update-docs-on-docs-commits.yml

on: push
Generate docs and create PR
0s
Generate docs and create PR
Fit to window
Zoom out
Zoom in