Skip to content
Lean Action CI

simpler proof #40

Sign in to view logs

simpler proof

simpler proof #40

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

lean_action_ci.yml

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