Skip to content
Lean Action CI

refactor lemma detection #68

Sign in to view logs

refactor lemma detection

refactor lemma detection #68

Triggered via push July 30, 2026 13:52
@RemyDegenneRemyDegenne
pushed 7e902e4
v0.1.10
Status Success
Total duration 1m 15s
Artifacts –

lean_action_ci.yml

on: push
build
1m 12s
build
Fit to window
Zoom out
Zoom in