When trying to use docgen-action pretty much with the example workflow from the Readme, the
"Build project documentation" step fails with
docker: failed to register layer: write /opt/texlive/texdir/texmf-dist/tex/latex/pst-poker/Queen-heart-bw.pdf: no space left on device
Also (but perhaps unrelated) I get the following warnings:
Warning: Unknown package «doc-gen4», predicted module name: «docGen4». If this is the wrong module name and causes a cache miss, please open an issue on leanprover-community/docgen-action.
Warning: Unknown package checkdecls, predicted module name: Checkdecls. If this is the wrong module name and causes a cache miss, please open an issue on leanprover-community/docgen-action.
Warning: Unknown package UnicodeBasic, predicted module name: UnicodeBasic. If this is the wrong module name and causes a cache miss, please open an issue on leanprover-community/docgen-action.
Warning: Unknown package BibtexQuery, predicted module name: BibtexQuery. If this is the wrong module name and causes a cache miss, please open an issue on leanprover-community/docgen-action.
Warning: Unknown package MD4Lean, predicted module name: MD4Lean. If this is the wrong module name and causes a cache miss, please open an issue on leanprover-community/docgen-action.
For the last three, I don't see how the predicted module name is different from the package.
Example of the failure here:
https://github.com/mo271/FormalBook/actions/runs/20579553276/job/59103969830
When trying to use docgen-action pretty much with the example workflow from the Readme, the
"Build project documentation" step fails with
Also (but perhaps unrelated) I get the following warnings:
For the last three, I don't see how the predicted module name is different from the package.
Example of the failure here:
https://github.com/mo271/FormalBook/actions/runs/20579553276/job/59103969830