Skip to content
Label PR based on Comment

Building Lean 4.15-rc1 with default build settings runs into a Stack Overflow in Data/UInt/Lemmas.lean #8941

Sign in to view logs

Building Lean 4.15-rc1 with default build settings runs into a Stack Overflow in Data/UInt/Lemmas.lean

Building Lean 4.15-rc1 with default build settings runs into a Stack Overflow in Data/UInt/Lemmas.lean #8941

Triggered via issue January 5, 2025 10:43
@hargoniXhargoniX
commented on #6434 dc5c809
Status Skipped
Total duration 2s
Artifacts –

labels-from-comments.yml

on: issue_comment
update-label
0s
update-label
Fit to window
Zoom out
Zoom in