add cooperative lock #324
c-cubemain.yml
on: pull_request
Matrix: build-compat
Matrix: format
Matrix: build
Annotations
7 errors, 2 warnings, and 4 notices
|
build (ubuntu-latest, 4.14)
Process completed with exit code 1.
|
|
build (ubuntu-latest, 4.08)
The job was canceled because "ubuntu-latest_4_14" failed.
|
|
build (ubuntu-latest, 4.08)
The operation was canceled.
|
|
format (5.1)
Process completed with exit code 40.
|
|
build (ubuntu-latest, 5.1)
The job was canceled because "ubuntu-latest_4_14" failed.
|
|
build (ubuntu-latest, 5.1)
The operation was canceled.
|
|
build-compat (macos-latest, 5.1)
Process completed with exit code 1.
|
|
build (ubuntu-latest, 5.1)
Failed to save: Unable to reserve cache with key v1-setup-ocaml-opam-2.2.0-beta2-sandbox-linux-22.04-x86_64-ocaml_base_compiler_5_01_1-2024-17, another job may be creating this cache. More details: Cache already exists. Scope: refs/pull/27/merge, Key: v1-setup-ocaml-opam-2.2.0-beta2-sandbox-linux-22.04-x86_64-ocaml_base_compiler_5_01_1-2024-17, Version: dee11f9460aea0d8383543f52e9955641d01d412d97fe7ac9dd0a48714f1e3b3
|
|
build-compat (macos-latest, 5.1)
darcs has been deprecated because it depends on GHC 8.10 to build!
|
|
build (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 (ubuntu-latest, 4.08)
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
|
|
format (5.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, 5.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
|