Skip to content

Use unicode minus signs in HTML output (#734) #396

Use unicode minus signs in HTML output (#734)

Use unicode minus signs in HTML output (#734) #396

Triggered via push October 22, 2023 18:22
Status Success
Total duration 6m 8s
Artifacts

ci.yaml

on: push
Matrix: ci
Matrix: Check compatibility with nextest
Fit to window
Zoom out
Zoom in