Skip to content

Error messages: improve unicode formatting #72

Error messages: improve unicode formatting

Error messages: improve unicode formatting #72

Triggered via push July 7, 2025 21:31
Status Success
Total duration 11m 49s
Artifacts

ci.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build (windows-latest, 4.14.2)
Failed to save: Unable to reserve cache with key v3-setup-ocaml-cygwin-3.6.3, another job may be creating this cache.