Merge pull request #1107 from erooke/docs #1578
daniel-larrazAnnotations
2 errors, 4 warnings, and 1 notice
|
kind2-build (macos-13)
The `brew link` step did not complete successfully
|
|
kind2-build (macos-13)
The `brew link` step did not complete successfully
|
|
kind2-build (macos-13)
These files were overwritten during the `brew link` step:
|
|
kind2-build (macos-13)
darcs 2.18.4 is already installed and up-to-date.
To reinstall 2.18.4, run:
brew reinstall darcs
|
|
kind2-build (macos-13)
gpatch 2.7.6 is already installed and up-to-date.
To reinstall 2.7.6, run:
brew reinstall gpatch
|
|
kind2-build (macos-13)
mercurial 6.8.2 is already installed and up-to-date.
To reinstall 6.8.2, run:
brew reinstall mercurial
|
|
kind2-build (macos-13)
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/local/bin/brew' failed with exit code 1
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
kind2-macos-13
|
2.92 MB |
|
|
kind2-macos-14
|
3.3 MB |
|
|
kind2-ubuntu-20.04
|
4.49 MB |
|