Skip to content
Lean Action CI

Update Basic.lean #38

Sign in to view logs

Update Basic.lean

Update Basic.lean #38

Triggered via push October 6, 2024 06:54
@Blackfeather007Blackfeather007
pushed 5a0fdbf
main
Status Success
Total duration 1m 37s
Artifacts –

lean_action_ci.yml

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