added odoc install #17
gabyfleAnnotations
1 error and 2 warnings
|
deploy-site
Unable to download artifact(s): Artifact not found for name: doc
Please ensure that your artifact is not expired and the artifact was uploaded using a compatible version of toolkit/upload-artifact.
For more information, visit the GitHub Artifacts FAQ: https://github.com/actions/toolkit/blob/main/packages/artifact/docs/faq.md
|
|
build (ubuntu-latest, 5.1)
No files were found with the provided path: _build/default/doc/_doc/_html/lice
_build/default/doc/_doc/_html/odoc.support. No artifacts will be uploaded.
|
|
lint-fmt
Failed to save: Unable to reserve cache with key v1-setup-ocaml-opam-download-github.com/ocaml/opam-repository.git-5_1-2024-4-13-9063931291-17, another job may be creating this cache. More details: Cache already exists. Scope: refs/heads/main, Key: v1-setup-ocaml-opam-download-github.com/ocaml/opam-repository.git-5_1-2024-4-13-9063931291-17, Version: 8ba50e9fc539bbaad67d1115157cd1e8ffd3994b0f3336146e0798f6d7232842
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
playground
Expired
|
2.05 MB |
|