这是indexloc提供的服务，不要输入任何密码
Skip to content
build

Install .cms files alongside .cmt files (#5005) #23183

Sign in to view logs

Install .cms files alongside .cmt files (#5005)

Install .cms files alongside .cmt files (#5005) #23183

Triggered via push November 13, 2025 16:29
@spiessimonspiessimon
pushed 3e7b343
main
Status Success
Total duration 14m 32s
Artifacts –

build.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

6 warnings
runtime5 (x86_64-linux)
Failed to save: Unable to reserve cache with key v1-setup-ocaml-opam-c9775ebef77fd3a3940fd1d31659b589e80705c88f6ce3812c7ee4c9e07ba94d, another job may be creating this cache.
runtime5 cfg-invariants (x86_64-linux)
Failed to save: Unable to reserve cache with key v1-setup-ocaml-opam-c9775ebef77fd3a3940fd1d31659b589e80705c88f6ce3812c7ee4c9e07ba94d, another job may be creating this cache.
runtime5 multidomain (x86_64-linux)
Failed to save: Unable to reserve cache with key v1-setup-ocaml-opam-c9775ebef77fd3a3940fd1d31659b589e80705c88f6ce3812c7ee4c9e07ba94d, another job may be creating this cache.
runtime5 debug stack-checks (x86_64-linux)
Failed to save: Unable to reserve cache with key v1-setup-ocaml-opam-c9775ebef77fd3a3940fd1d31659b589e80705c88f6ce3812c7ee4c9e07ba94d, another job may be creating this cache.
runtime4 regalloc (x86_64-linux)
Failed to save: Unable to reserve cache with key v1-setup-ocaml-opam-c9775ebef77fd3a3940fd1d31659b589e80705c88f6ce3812c7ee4c9e07ba94d, another job may be creating this cache.
runtime5 debug (x86_64-linux)
Failed to save: Unable to reserve cache with key v1-setup-ocaml-opam-c9775ebef77fd3a3940fd1d31659b589e80705c88f6ce3812c7ee4c9e07ba94d, another job may be creating this cache.