Skip to content

dune: use build_if instead of workaround #236

dune: use build_if instead of workaround

dune: use build_if instead of workaround #236

Triggered via pull request July 17, 2024 09:22
Status Failure
Total duration 10m 52s
Artifacts

test.yml

on: pull_request
Matrix: Tests
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 notice
Tests (windows-latest, 4.13.1)
The process 'D:\cygwin\wrapperbin\opam.cmd' failed with exit code 20
Tests (windows-latest, 4.13.1)
An error has been caught in some system package index files, so the system package index files have been re-synchronised, and the system package installation has been retried: the process 'd:\cygwin\wrapperbin\opam.cmd' failed with exit code 20