Skip to content

feat(pkg): Enable cache on fetch actions #28061

feat(pkg): Enable cache on fetch actions

feat(pkg): Enable cache on fetch actions #28061

Triggered via pull request August 28, 2024 14:55
Status Success
Total duration 26m 32s
Artifacts

workflow.yml

on: pull_request
Format
2m 39s
Format
Documentation
1m 11s
Documentation
Coq 8.16.1
8m 54s
Coq 8.16.1
Build monorepo benchmark docker image
3m 51s
Build monorepo benchmark docker image
Build microbenchmarks
5m 12s
Build microbenchmarks
Matrix: Build
Matrix: Coverage
Matrix: Create local opam switch
Matrix: Nix
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
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 (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