Skip to content

Fix docs build: use build_docs.sh instead of Makefile (gitignored) #7

Fix docs build: use build_docs.sh instead of Makefile (gitignored)

Fix docs build: use build_docs.sh instead of Makefile (gitignored) #7

Triggered via push January 21, 2026 16:06
Status Failure
Total duration 2m 3s
Artifacts

build-docs.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 error
build-docs
Process completed with exit code 126.