Skip to content
CI

refactor(lock_rules): small improvements (#12534) #300

Sign in to view logs

refactor(lock_rules): small improvements (#12534)

refactor(lock_rules): small improvements (#12534) #300

Triggered via push October 6, 2025 08:58
@Leonidas-from-XIVLeonidas-from-XIV
pushed b3abadd
main
Status Success
Total duration 47m 54s
Artifacts –

workflow.yml

on: push
Matrix: Nix Build
Matrix: Nix Tests
Format
8m 32s
Format
Documentation
1m 5s
Documentation
Cygwin Build
3m 2s
Cygwin Build
Matrix: Bootstrap
Matrix: Nix Build 4.08
Coq 8.16.1
28m 48s
Coq 8.16.1
Wasm_of_ocaml
7m 40s
Wasm_of_ocaml
Build microbenchmarks
19m 10s
Build microbenchmarks
Matrix: Create local opam switch
Matrix: Build
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
Build (4.14.x, macos-latest)
pkgconf 2.5.1 is already installed and up-to-date. To reinstall 2.5.1, run: brew reinstall pkgconf
Build (5.3.x, macos-latest, true)
pkgconf 2.5.1 is already installed and up-to-date. To reinstall 2.5.1, run: brew reinstall pkgconf
Build (ocaml-compiler.5.3.0,system-msvc, windows-latest, true)
Failed to save: Unable to reserve cache with key v1-setup-ocaml-cygwin-3.6.4, another job may be creating this cache.