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

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

Sign in to view logs

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

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

Triggered via push April 8, 2024 16:11
@peter-rrpeter-rr
pushed 4382886
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