Skip to content

Merge pull request #120 from proux01/ci-update #35

Merge pull request #120 from proux01/ci-update

Merge pull request #120 from proux01/ci-update #35

Triggered via push February 21, 2025 18:07
Status Failure
Total duration 7m 20s
Artifacts
Fit to window
Zoom out
Zoom in

Annotations

1 error
mathcomp-finmap
Process completed with exit code 1.