Skip to content
Lean Action CI

lemma_12 #45

Sign in to view logs

lemma_12

lemma_12 #45

Triggered via push October 12, 2024 05:55
@lengyijunlengyijun
pushed edfc44a
main
Status Success
Total duration 1m 45s
Billable time 2m
Artifacts –

lean_action_ci.yml

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