pkg: build and make ocamlformat dev-tool available #27404
moyodialloworkflow.yml
on: pull_request
Format
2m 33s
Documentation
41s
Coq 8.16.1
9m 44s
Build monorepo benchmark docker image
4m 2s
Matrix: Build
Matrix: Coverage
Matrix: Create local opam switch
Matrix: dkml-current
Matrix: Nix
Annotations
14 errors and 2 warnings
|
Coq 8.16.1
Canceling since a higher priority waiting request for 'CI @ moyodiallo:dev-tool-ocamlformat' exists
|
|
Coq 8.16.1
The operation was canceled.
|
|
MSVC 4.14.0 / windows_x86_64
Canceling since a higher priority waiting request for 'CI @ moyodiallo:dev-tool-ocamlformat' exists
|
|
MSVC 4.14.0 / windows_x86_64
The operation was canceled.
|
|
MSVC 4.14.0 / windows_x86
Canceling since a higher priority waiting request for 'CI @ moyodiallo:dev-tool-ocamlformat' exists
|
|
MSVC 4.14.0 / windows_x86
The operation was canceled.
|
|
Coverage (4.14.x)
Canceling since a higher priority waiting request for 'CI @ moyodiallo:dev-tool-ocamlformat' exists
|
|
Coverage (4.14.x)
The operation was canceled.
|
|
Build (ubuntu-latest, 4.14.x)
Canceling since a higher priority waiting request for 'CI @ moyodiallo:dev-tool-ocamlformat' exists
|
|
Build (ubuntu-latest, 4.14.x)
The operation was canceled.
|
|
Build (4.14.x, macos-13, true)
Canceling since a higher priority waiting request for 'CI @ moyodiallo:dev-tool-ocamlformat' exists
|
|
Build (4.14.x, macos-13, true)
The operation was canceled.
|
|
Build (macos-latest, 4.14.x)
Canceling since a higher priority waiting request for 'CI @ moyodiallo:dev-tool-ocamlformat' exists
|
|
Build (macos-latest, 4.14.x)
The operation was canceled.
|
|
Build (5.1.x, macos-latest, true)
pkg-config 0.29.2_3 is already installed and up-to-date.
To reinstall 0.29.2_3, run:
brew reinstall pkg-config
|
|
Build (macos-latest, 4.14.x)
pkg-config 0.29.2_3 is already installed and up-to-date.
To reinstall 0.29.2_3, run:
brew reinstall pkg-config
|