Skip to content
Specification

Fix inductive-implicits benchmark #6129

Sign in to view logs

Fix inductive-implicits benchmark

Fix inductive-implicits benchmark #6129

Triggered via pull request November 22, 2024 11:56
@mbovelmbovel
opened #22007
mbovel:mb/benchs/fix-inductive-implicits
Status Success
Total duration 1m 19s
Artifacts –

spec.yml

on: pull_request
specification
1m 10s
specification
Fit to window
Zoom out
Zoom in