Skip to content

feat: report golf compile cost (heartbeats + time) in /check-golf#1356

Open
Vilin97 wants to merge 4 commits into
leanprover-community:masterfrom
Vilin97:check-golf-timings
Open

feat: report golf compile cost (heartbeats + time) in /check-golf#1356
Vilin97 wants to merge 4 commits into
leanprover-community:masterfrom
Vilin97:check-golf-timings

feat: report golf compile cost (heartbeats + time) in /check-golf

8854ee6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Python based linters
succeeded Jul 3, 2026 in 16s