Skip to content
Lean Action CI

add characterizations #58

Sign in to view logs

add characterizations

add characterizations #58

Triggered via push July 29, 2026 17:53
@RemyDegenneRemyDegenne
pushed 11703b5
main
Status Success
Total duration 1m 41s
Artifacts –

lean_action_ci.yml

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