Skip to content
Miri

Use iai-callgrind instead of iai #206

Sign in to view logs

Use iai-callgrind instead of iai

Use iai-callgrind instead of iai #206

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

miri.yml

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