Build #158
ilankriAnnotations
3 errors, 11 warnings, and 7 notices
|
build (ubuntu-latest, 4.09.x)
Process completed with exit code 60.
|
|
build (macos-latest, 4.09.x)
Process completed with exit code 60.
|
|
build (macos-latest, 4.08.x)
Process completed with exit code 60.
|
|
build (ubuntu-latest, 4.13.x)
Failed to download action 'https://api.github.com/repos/ocaml/setup-ocaml/tarball/42bf33a4dd3ba5d75a4c9ea6b27d960c9eb4a018'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|
|
build (ubuntu-latest, 4.13.x)
Back off 13.515 seconds before retry.
|
|
build (ubuntu-latest, 4.13.x)
Failed to download action 'https://api.github.com/repos/ocaml/setup-ocaml/tarball/42bf33a4dd3ba5d75a4c9ea6b27d960c9eb4a018'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|
|
build (ubuntu-latest, 4.13.x)
Back off 13.655 seconds before retry.
|
|
build (macos-latest, 4.09.x)
darcs has been deprecated because it depends on GHC 8.10 to build!
|
|
build (macos-latest, 4.11.x)
darcs has been deprecated because it depends on GHC 8.10 to build!
|
|
build (macos-latest, 4.08.x)
darcs has been deprecated because it depends on GHC 8.10 to build!
|
|
build (macos-latest, 4.10.x)
darcs has been deprecated because it depends on GHC 8.10 to build!
|
|
build (macos-latest, 4.12.x)
darcs has been deprecated because it depends on GHC 8.10 to build!
|
|
build (macos-latest, 4.13.x)
darcs has been deprecated because it depends on GHC 8.10 to build!
|
|
build (macos-latest, 4.14.x)
darcs has been deprecated because it depends on GHC 8.10 to build!
|
|
build (ubuntu-latest, 4.08.x)
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, 4.14.x)
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, 4.12.x)
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, 4.10.x)
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, 4.11.x)
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, 4.13.x)
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, 4.09.x)
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
|