Skip to content

fix: Disable "axiom replaced with" warning (#1328) #3251

fix: Disable "axiom replaced with" warning (#1328)

fix: Disable "axiom replaced with" warning (#1328) #3251

Triggered via push August 19, 2025 12:12
Status Success
Total duration 6m 16s
Artifacts 2
OCaml documentation
5m 32s
OCaml documentation
Sphinx documentation
28s
Sphinx documentation
Deploy documentation
25s
Deploy documentation
Update documentation versions
8s
Update documentation versions
Fit to window
Zoom out
Zoom in

Annotations

1 warning
OCaml documentation
Failed to save: Unable to reserve cache with key v1-setup-ocaml-opam-153e7c03e88a426f45fbc727fb0f250bde3ddbf6808013acf72a2c7e09bb5f2e, another job may be creating this cache.

Artifacts

Produced during runtime
Name Size Digest
ocaml_doc Expired
1.12 MB
sha256:b341623cd7793cb22e6db70dfebeee5ce5693aeca72018602fcee1fe6022be48
sphinx_doc Expired
7.58 MB
sha256:0d2ef3a3b65cb930b988a7edf51150fdbbaddbfc86c7dc8342e556a3f071a1f2