Skip to content
.github/workflows/generate_docs.yml

Adapt to https://github.com/rocq-prover/rocq/pull/21611 (#1851) #1248

Sign in to view logs

Adapt to https://github.com/rocq-prover/rocq/pull/21611 (#1851)

Adapt to https://github.com/rocq-prover/rocq/pull/21611 (#1851) #1248

Run time

Learn about OS pricing on GitHub Actions
Job Run time
generate-artifacts
47m 13s
47m 13s