Skip to content
Back to pull request #1848

docs: changing the file name #761

Sign in to view logs

docs: changing the file name

docs: changing the file name #761

Triggered via pull request November 8, 2023 10:22
@aludwikoaludwiko
opened #1848
fixing-docs
Status Success
Total duration 4m 24s
Artifacts –

documentation.yml

on: pull_request
make-docs
4m 13s
make-docs
prose
40s
prose
Fit to window
Zoom out
Zoom in