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

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

Sign in to view logs

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

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

Triggered via push March 12, 2024 11:01
@peter-rrpeter-rr
pushed 6dd42fb
master
Status Skipped
Total duration 3s
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