Skip to content

Folding: handling blinders #7187

Folding: handling blinders

Folding: handling blinders #7187

Triggered via pull request June 5, 2024 21:58
Status Success
Total duration 37m 8s
Artifacts

rust.yml

on: pull_request
Matrix: Run some basic checks and tests
Matrix: Formatting
Matrix: Building MDBook
Fit to window
Zoom out
Zoom in

Annotations

3 warnings and 3 notices
Run some basic checks and tests (1.72, 4.14)
Failed to save: Unable to reserve cache with key v1-setup-ocaml-opam-download-github.com/ocaml/opam-repository.git-4_14-2024-5-5-9391756854-7187, another job may be creating this cache. More details: Cache already exists. Scope: refs/pull/2295/merge, Key: v1-setup-ocaml-opam-download-github.com/ocaml/opam-repository.git-4_14-2024-5-5-9391756854-7187, Version: 8ba50e9fc539bbaad67d1115157cd1e8ffd3994b0f3336146e0798f6d7232842
Run some basic checks and tests (1.74, 4.14)
Failed to save: Unable to reserve cache with key v1-setup-ocaml-opam-download-github.com/ocaml/opam-repository.git-4_14-2024-5-5-9391756854-7187, another job may be creating this cache. More details: Cache already exists. Scope: refs/pull/2295/merge, Key: v1-setup-ocaml-opam-download-github.com/ocaml/opam-repository.git-4_14-2024-5-5-9391756854-7187, Version: 8ba50e9fc539bbaad67d1115157cd1e8ffd3994b0f3336146e0798f6d7232842
Run some basic checks and tests (1.71, 4.14)
Failed to save: Unable to reserve cache with key v1-setup-ocaml-opam-download-github.com/ocaml/opam-repository.git-4_14-2024-5-5-9391756854-7187, another job may be creating this cache. More details: Cache already exists. Scope: refs/pull/2295/merge, Key: v1-setup-ocaml-opam-download-github.com/ocaml/opam-repository.git-4_14-2024-5-5-9391756854-7187, Version: 8ba50e9fc539bbaad67d1115157cd1e8ffd3994b0f3336146e0798f6d7232842
Run some basic checks and tests (1.73, 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
Run some basic checks and tests (1.72, 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
Run some basic checks and tests (1.74, 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