Skip to content
miri

Make display of interval types more pretty #10074

Sign in to view logs

Make display of interval types more pretty

Make display of interval types more pretty #10074

Triggered via pull request July 7, 2024 12:16
@RachelintRachelint
synchronize #6006
Rachelint:make-interval-more-pretty
Status Success
Total duration 12m 23s
Artifacts –

miri.yaml

on: pull_request
MIRI
12m 11s
MIRI
Fit to window
Zoom out
Zoom in