Skip to content
Back to pull request #6683

Support Duration in JSON Reader #11015

Sign in to view logs

Support Duration in JSON Reader

Support Duration in JSON Reader #11015

Triggered via pull request November 5, 2024 13:59
@simonvandelsimonvandel
synchronize #6683
simonvandel:support-duration-json-reader
Status Success
Total duration 16m 47s
Artifacts –

miri.yaml

on: pull_request
MIRI
16m 38s
MIRI
Fit to window
Zoom out
Zoom in