Fix unintended extension host termination #2168
rgrinberg
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
Annotations
1 error and 2 notices
|
lint-fmt (4.14.x)
The process '/opt/hostedtoolcache/opam/2.1.5/x86_64/opam' failed with exit code 1
|
|
lint-fmt (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.14.x, 20.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
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
ocaml-platform-917c6f0e159c058055082edbb2799ec6bc9fd118
Expired
|
1.74 MB |
|