Skip to content
Specification

Fix inductive-implicits benchmark #6162

Sign in to view logs

Fix inductive-implicits benchmark

Fix inductive-implicits benchmark #6162

Triggered via pull request November 25, 2024 14:20
@mbovelmbovel
synchronize #22007
mbovel:mb/benchs/fix-inductive-implicits
Status Success
Total duration 1m 14s
Artifacts –

spec.yml

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