Fix inline_tests action when partition list is empty #21628
rgrinbergworkflow.yml
on: pull_request
Format
1m 25s
Documentation
40s
Coq 8.16.1
15m 19s
Build monorepo benchmark docker image
30m 1s
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 (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 (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.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
|