Skip to content

Improve precision of duration field in view-metrics #4958

Improve precision of duration field in view-metrics

Improve precision of duration field in view-metrics #4958

Triggered via pull request October 16, 2025 09:29
Status Failure
Total duration 3m 25s
Artifacts

build-and-test.yml

on: pull_request
Matrix: Build and Test
Fit to window
Zoom out
Zoom in

Annotations

4 errors
Coverage
The process '/opt/hostedtoolcache/opam/2.4.1/x86_64/opam' failed with exit code 20
Build and Test (ubuntu-latest)
The process '/opt/hostedtoolcache/opam/2.4.1/x86_64/opam' failed with exit code 20
Build and Test (macos-latest)
The process '/Users/runner/hostedtoolcache/opam/2.4.1/arm64/opam' failed with exit code 20
Build and Test (windows-latest)
The process 'C:\hostedtoolcache\windows\opam\2.4.1\x86_64\opam.exe' failed with exit code 20