Merge pull request #6 from imandra-ai/simon/use-imandrakit-pr-6 #34
c-cubeAnnotations
2 warnings and 1 notice
|
Deploy doc
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
|
|
Deploy doc
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: peaceiris/actions-gh-pages@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Deploy doc
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
|