Skip to content
Lean Action CI

don't show hcongr_XX lemmas #14

Sign in to view logs

don't show hcongr_XX lemmas

don't show hcongr_XX lemmas #14

Triggered via push June 15, 2026 09:03
@RemyDegenneRemyDegenne
pushed 1933353
main
Status Success
Total duration 50s
Artifacts –

lean_action_ci.yml

on: push
build
46s
build
Fit to window
Zoom out
Zoom in