Skip to content
Check for copyright header

fix: deep recursion type checking grind proof #19413

Sign in to view logs

fix: deep recursion type checking grind proof

fix: deep recursion type checking grind proof #19413

Triggered via pull request November 2, 2025 19:35
@leodemouraleodemoura
opened #11061
grind_proof_perf
Status Success
Total duration 34s
Artifacts –

copyright-header.yml

on: pull_request
check-lean-files
30s
check-lean-files
Fit to window
Zoom out
Zoom in