Skip to content
CI

Allow dune exec while watch server is running (#11840) #294

Sign in to view logs

Allow dune exec while watch server is running (#11840)

Allow dune exec while watch server is running (#11840) #294

Triggered via push June 19, 2025 12:28
@Leonidas-from-XIVLeonidas-from-XIV
pushed c6f8143
main
Status Success
Total duration 19m 41s
Artifacts –

workflow.yml

on: push
Format
1m 39s
Format
Documentation
1m 7s
Documentation
Coq 8.16.1
13m 0s
Coq 8.16.1
Wasm_of_ocaml
8m 40s
Wasm_of_ocaml
Build microbenchmarks
2m 25s
Build microbenchmarks
Matrix: Build
Matrix: Create local opam switch
Matrix: Nix
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
Build (4.14.x, ubuntu-latest, true)
Failed to save: Unable to reserve cache with key v3-setup-ocaml-opam-6c137b13d8a7cf4987a20cdc3f20a2776273b2089753c5eb3d349ab255fa9d6e, another job may be creating this cache.
Build (4.14.x, macos-latest, true)
pkgconf 2.4.3 is already installed and up-to-date. To reinstall 2.4.3, run: brew reinstall pkgconf
Build (ocaml-base-compiler.5.3.0,system-mingw, windows-latest)
Failed to save: Unable to reserve cache with key v3-setup-ocaml-cygwin-3.6.3, another job may be creating this cache.
Build (5.3.x, macos-latest)
pkgconf 2.4.3 is already installed and up-to-date. To reinstall 2.4.3, run: brew reinstall pkgconf