CI: automatically generate HTML docs as artifacts by rocqnavi #2
yoshihiro503generate_docs.yml
on: pull_request
generate-artifacts
29m 30s
Annotations
1 error
|
generate-artifacts
Process completed with exit code 127.
|