adapt to ocaml 5 (#130) #767
fblanquiAnnotations
3 warnings
|
hol-light-to-dedukti (4.14.1, 8.02.01, 2.7, master, 3.15.0)
Failed to save: Unable to reserve cache with key v1-setup-ocaml-opam-download-github.com/ocaml/opam-repository.git-4_14_1-2024-3-16-8710079187-767, 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-4_14_1-2024-3-16-8710079187-767, Version: 8ba50e9fc539bbaad67d1115157cd1e8ffd3994b0f3336146e0798f6d7232842
|
|
hol-light-to-dedukti (5.1.1, 8.02.01, 2.7, 2.5.0, 3.15.0)
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-16, 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-16, Version: 0f7046a45b64dc73bde7ac91264766389f8a619385c963211ff8bfdb4c014230
|
|
hol-light-to-dedukti (5.1.1, 8.02.01, 2.7, master, 3.15.0)
Failed to save: Unable to reserve cache with key v1-setup-ocaml-opam-download-github.com/ocaml/opam-repository.git-5_1_1-2024-3-16-8710079187-767, 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_1-2024-3-16-8710079187-767, Version: 8ba50e9fc539bbaad67d1115157cd1e8ffd3994b0f3336146e0798f6d7232842
|