Skip to content
CI

ci: reenable rocq #37413

Sign in to view logs

ci: reenable rocq

ci: reenable rocq #37413

Triggered via pull request February 5, 2026 10:21
@AlizterAlizter
synchronize #13529
Alizter:fix-rocq-ci
Status Success
Total duration 47m 10s
Artifacts –

workflow.yml

on: pull_request
Matrix: Nix Build
Matrix: Nix Tests
Format
1m 29s
Format
Documentation
54s
Documentation
Cygwin Build
2m 50s
Cygwin Build
Test that the utop dev tool can be built and run
9m 15s
Test that the utop dev tool can be built and run
Matrix: Bootstrap
Matrix: Nix Build 4.08
Matrix: Build with OxCaml
Rocq 9.1
7m 8s
Rocq 9.1
Rocq 9.1 (native)
12m 50s
Rocq 9.1 (native)
Wasm_of_ocaml
7m 55s
Wasm_of_ocaml
Building Dune with OxCaml
24m 43s
Building Dune with OxCaml
Build microbenchmarks
1m 39s
Build microbenchmarks
Matrix: Create local opam switch
Matrix: Build
Fit to window
Zoom out
Zoom in

Annotations

5 warnings
Build (ocaml-compiler.5.4.0,system-msvc, windows-latest, ocaml-compiler.5.4.0-system-msvc, true)
Cache save failed.
Build (ocaml-base-compiler.5.4.0,system-mingw, windows-latest, ocaml-compiler.5.4.0-system-mingw,...
Cache save failed.
Build (ocaml-base-compiler.5.4.0,system-mingw, windows-latest, ocaml-compiler.5.4.0-system-mingw,...
Failed to save: Unable to reserve cache with key v1-setup-ocaml-cygwin-3.6.6, another job may be creating this cache.
Build (4.14.x, 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.4.x, 5.4.x, macos-latest, true)
pkgconf 2.5.1 is already installed and up-to-date. To reinstall 2.5.1, run: brew reinstall pkgconf