test: missing opam file now causes build failure #21093
Triggered via pull request
September 19, 2023 11:22
emillon
Status
Failure
Total duration
51m 50s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
workflow.yml
on: pull_request
Format
1m 27s
Documentation
39s
Coq 8.16.1
15m 54s
Build monorepo benchmark docker image
32m 39s
Matrix: Build
Matrix: Coverage
Matrix: dkml-current
Matrix: Nix
Annotations
1 warning and 9 notices
|
Build (ocaml-variants.5.2.0+trunk, ubuntu-latest, true)
Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
|
|
Build (ocaml-variants.5.2.0+trunk, ubuntu-latest, true)
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 (4.13.x, ubuntu-latest, true)
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 (5.1.x, ubuntu-latest, true)
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 (4.08.x, ubuntu-latest, true)
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 (4.02.x, ubuntu-latest, true)
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 (4.04.x, ubuntu-latest, true, true)
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
|
|
Coq 8.16.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, 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
|
|
Coverage (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
|