fix: use correct version for runtest_alias in cram (#9454) #221
Leonidas-from-XIVworkflow.yml
on: push
Format
57s
Documentation
37s
Coq 8.16.1
8m 53s
Build monorepo benchmark docker image
1m 54s
Matrix: Build
Matrix: Coverage
Matrix: Create local opam switch
Matrix: dkml-current
Matrix: Nix
Annotations
1 warning and 11 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 (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.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.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
|
|
Create local opam switch (ubuntu-latest, 5)
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
|
|
Create local opam switch (ubuntu-latest, 4.14)
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
|
|
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
|
|
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
|