Skip to content
Lean Action CI

extendedeuclidattempt #6

Sign in to view logs

extendedeuclidattempt

extendedeuclidattempt #6

Triggered via push September 27, 2024 13:13
@cymcymcymcymcymcymcymcym
pushed c85e6ad
main
Status Success
Total duration 1m 49s
Artifacts –

lean_action_ci.yml

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