Skip to content

Kind 2 Release

Kind 2 Release #75

Triggered via schedule May 4, 2024 08:00
Status Success
Total duration 7m 14s
Artifacts

kind2-release.yml

on: schedule
get-nightly-ready
8s
get-nightly-ready
create-new-release
0s
create-new-release
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
build (macos-12, 5.1.1)
darcs has been deprecated because it depends on GHC 8.10 to build!
build (macos-12, 5.1.1)
Failed to save: Unable to reserve cache with key v1-setup-ocaml-opam-download-github.com/ocaml/opam-repository.git-ocaml_variants_5_1_1_options_ocaml_option_flambda-2024-4-4-8949063030-75, another job may be creating this cache. More details: Cache already exists. Scope: refs/heads/develop, Key: v1-setup-ocaml-opam-download-github.com/ocaml/opam-repository.git-ocaml_variants_5_1_1_options_ocaml_option_flambda-2024-4-4-8949063030-75, Version: 9ae17ef07cd106246b27a957b1c02214c7b9fd5c4d55a834162e3344ccc35d1e