Skip to content
Performance

chore: use simp -implicitDefEqProofs #154

Sign in to view logs

chore: use simp -implicitDefEqProofs

chore: use simp -implicitDefEqProofs #154

Triggered via pull request December 27, 2024 14:50
@tobiasgrossertobiasgrosser
opened #922
simp_def_eq_proofs
Status Success
Total duration 2h 1m 44s
Artifacts –

performance.yml

on: pull_request
tools, scaling, and auto-generated stmts
1h 23m
tools, scaling, and auto-generated stmts
Fit to window
Zoom out
Zoom in

Annotations

2 errors
tools, scaling, and auto-generated stmts
Process completed with exit code 1.
tools, scaling, and auto-generated stmts
Process completed with exit code 1.