Merge pull request #6 from imandra-ai/simon/use-imandrakit-pr-6 #100
Annotations
2 warnings and 2 notices
format (5.1)
An error has been caught in some system package index files, so the system package index files have been re-synchronised, and the system package installation has been retried: the process '/usr/bin/sudo' failed with exit code 100
|
build (ubuntu-latest, 5.1)
An error has been caught in some system package index files, so the system package index files have been re-synchronised, and the system package installation has been retried: the process '/usr/bin/sudo' failed with exit code 100
|
format (5.1)
Failed to save: Unable to reserve cache with key v1-setup-ocaml-opam-2.2.0-beta2-sandbox-linux-22.04-x86_64-ocaml_base_compiler_5_01_1-2024-22, another job may be creating this cache. More details: Cache already exists. Scope: refs/heads/main, Key: v1-setup-ocaml-opam-2.2.0-beta2-sandbox-linux-22.04-x86_64-ocaml_base_compiler_5_01_1-2024-22, Version: 50be3e8c3d2a904aff5b9ce12549b2d4a50af40613cb3aa7b17fdde5935aa436
|
build (ubuntu-latest, 5.1)
Failed to save: Unable to reserve cache with key v1-setup-ocaml-opam-download-github.com/ocaml/opam-repository.git-5_1-2024-4-30-9308464949-100, 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-30-9308464949-100, Version: 8ba50e9fc539bbaad67d1115157cd1e8ffd3994b0f3336146e0798f6d7232842
|