Skip to content

refactor: delay lib entries loading to action builder #28872

refactor: delay lib entries loading to action builder

refactor: delay lib entries loading to action builder #28872

Triggered via pull request November 2, 2024 15:01
Status Success
Total duration 21m 55s
Artifacts

workflow.yml

on: pull_request
Format
1m 6s
Format
Documentation
51s
Documentation
Coq 8.16.1
7m 15s
Coq 8.16.1
Build monorepo benchmark docker image
3m 48s
Build monorepo benchmark docker image
Build microbenchmarks
2m 17s
Build microbenchmarks
Matrix: Build
Matrix: Coverage
Matrix: Create local opam switch
Matrix: Nix
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
Build (4.14.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 (5.1.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 (5.1.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, 5.1.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