adapt to rocq-prover/rocq#20707 #632
proux01generate_docs.yml
on: pull_request
generate-artifacts
15s
Annotations
3 errors
|
generate-artifacts
The operation was canceled.
|
|
generate-artifacts
The run was canceled by @proux01.
|
|
.github/workflows/generate_docs.yml
The run was canceled by @proux01.
|