Skip to content
Lean Action CI

Add stub of first lemma #16

Sign in to view logs

Add stub of first lemma

Add stub of first lemma #16

Triggered via push October 12, 2024 21:30
@gdahiagdahia
pushed e0f315b
work-in-first-lemma
Status Success
Total duration 1m 31s
Artifacts –

lean_action_ci.yml

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