Skip to content
Miri

Use iai-callgrind instead of iai #205

Sign in to view logs

Use iai-callgrind instead of iai

Use iai-callgrind instead of iai #205

Triggered via pull request November 7, 2023 02:56
@frengorfrengor
synchronize #22
iai-callgrind
Status Success
Total duration 2m 41s
Artifacts –

miri.yml

on: pull_request
test-with-miri
2m 34s
test-with-miri
Fit to window
Zoom out
Zoom in