Skip to content
.github/workflows/generate_docs.yml

CI: automatically generate HTML docs as artifacts by rocqnavi #2

Sign in to view logs

CI: automatically generate HTML docs as artifacts by rocqnavi

CI: automatically generate HTML docs as artifacts by rocqnavi #2

Run time

Learn about OS pricing on GitHub Actions
Job Run time
generate-artifacts
29m 30s
29m 30s