Skip to content
Lean Action CI

lemma_12 #46

Sign in to view logs

lemma_12

lemma_12 #46

Triggered via push October 12, 2024 07:08
@lengyijunlengyijun
pushed 3e4cee3
main
Status Success
Total duration 1m 48s
Billable time 2m
Artifacts –

lean_action_ci.yml

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