Skip to content
Miri

Use iai-callgrind instead of iai #204

Sign in to view logs

Use iai-callgrind instead of iai

Use iai-callgrind instead of iai #204

Triggered via push November 7, 2023 02:56
@frengorfrengor
pushed e05001b
iai-callgrind
Status Success
Total duration 2m 45s
Artifacts –

miri.yml

on: push
test-with-miri
2m 36s
test-with-miri
Fit to window
Zoom out
Zoom in