build fixtures before lake exe lean2dk ...
#82
Annotations
1 error and 1 warning
ci (ubuntu-latest, 5.1)
Process completed with exit code 1.
|
ci (ubuntu-latest, 5.1)
Failed to save: Unable to reserve cache with key v1-setup-ocaml-opam-2.1.5-sandbox-linux-22.04-x86_64-ocaml_base_compiler_5_01_1-2024-18, another job may be creating this cache. More details: Cache already exists. Scope: refs/heads/main, Key: v1-setup-ocaml-opam-2.1.5-sandbox-linux-22.04-x86_64-ocaml_base_compiler_5_01_1-2024-18, Version: fedda521494c6fe8946ed6280cf3b605721bca2efdfd0a56c6fdec0db45ac7c0
|