Skip to content

refactor: Use Stdlib.String(Labels) implementations if available (#… #27937

refactor: Use Stdlib.String(Labels) implementations if available (#…

refactor: Use Stdlib.String(Labels) implementations if available (#… #27937

Triggered via push August 14, 2024 14:56
Status Success
Total duration 16m 5s
Artifacts

workflow.yml

on: push
Format
2m 35s
Format
Documentation
1m 18s
Documentation
Coq 8.16.1
8m 45s
Coq 8.16.1
Build monorepo benchmark docker image
4m 13s
Build monorepo benchmark docker image
Build microbenchmarks
5m 25s
Build microbenchmarks
Matrix: Build
Matrix: Coverage
Matrix: Create local opam switch
Matrix: Nix
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
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
Coverage (4.14.x)
Unexpected input(s) 'opam-depext', valid inputs are ['allow-prerelease-opam', 'ocaml-compiler', 'opam-repositories', 'opam-pin', 'opam-local-packages', 'opam-disable-sandboxing', 'dune-cache', 'cache-prefix', 'github-token']
Coverage (4.14.x)
Unexpected input(s) 'opam-depext', valid inputs are ['allow-prerelease-opam', 'ocaml-compiler', 'opam-repositories', 'opam-pin', 'opam-local-packages', 'opam-disable-sandboxing', 'dune-cache', 'cache-prefix', 'github-token']
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