Skip to content
Lean Action CI

dont show congr_symm #7

Sign in to view logs

dont show congr_symm

dont show congr_symm #7

Triggered via push June 13, 2026 15:27
@RemyDegenneRemyDegenne
pushed a2765e5
main
Status Success
Total duration 50s
Artifacts –

lean_action_ci.yml

on: push
build
48s
build
Fit to window
Zoom out
Zoom in