Skip to content
Lean Action CI

simpler lemma_12_to_13 #41

Sign in to view logs

simpler lemma_12_to_13

simpler lemma_12_to_13 #41

Triggered via push October 11, 2024 03:49
@lengyijunlengyijun
pushed 87827f3
main
Status Success
Total duration 1m 50s
Billable time 2m
Artifacts –

lean_action_ci.yml

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