Skip to content
Back to pull request #577

run the benchmarks #2904

Sign in to view logs

run the benchmarks

run the benchmarks #2904

Triggered via push August 7, 2024 14:53
@bantonssonbantonsson
pushed 5ce0710
ban/tmp-test-criterion
Status Success
Total duration 16m 49s
Artifacts –

miri.yml

on: push
run-miri
16m 40s
run-miri
Fit to window
Zoom out
Zoom in