Use leanprover-community/docgen-action
#10
Annotations
1 error
|
Build project documentation
Process completed with exit code 255.
|
Loading