Skip to content
Lean Action CI

Add get/set lemmas #40

Sign in to view logs

Add get/set lemmas

Add get/set lemmas #40

Triggered via push January 23, 2026 14:36
@georgerenniegeorgerennie
pushed 662f9cf
main
Status Success
Total duration 39s
Artifacts –

lean_action_ci.yml

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