test: demo dupe rule bug for ccomp on rebuild #22887
Triggered via pull request
November 21, 2023 14:21
Alizter
Status
Success
Total duration
41m 20s
Artifacts
–
workflow.yml
on: pull_request
Format
59s
Documentation
36s
Coq 8.16.1
9m 11s
Build monorepo benchmark docker image
1m 52s
Matrix: Build
Matrix: Coverage
Matrix: Create local opam switch
Matrix: dkml-current
Matrix: Nix
Annotations
1 warning and 1 notice
|
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 (macos-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/local/bin/brew' failed with exit code 1
|