Skip to content
Lean Action CI

Update graded.lean #68

Sign in to view logs

Update graded.lean

Update graded.lean #68

Triggered via push October 7, 2024 14:41
@yuanyi-350yuanyi-350
pushed 54d3728
main
Status Success
Total duration 1m 35s
Artifacts –

lean_action_ci.yml

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