Skip to content
Update `make docs` procedure

Update make docs procedure #77

Sign in to view logs

Update make docs procedure

Update make docs procedure #77

Triggered via schedule October 30, 2023 07:00
@github-merge-queuegithub-merge-queue[bot]
⁠ d49ccef
dev
Status Success
Total duration 18s
Artifacts –

update-make-docs.yml

on: schedule
main
8s
main
Fit to window
Zoom out
Zoom in