Skip to content
Lean Action CI

Create graded_test.lean #44

Sign in to view logs

Create graded_test.lean

Create graded_test.lean #44

Triggered via push October 6, 2024 14:49
@Blackfeather007Blackfeather007
pushed b2c219c
main
Status Success
Total duration 1m 27s
Artifacts –

lean_action_ci.yml

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