Skip to content
Lean Action CI

Add the trace monoid #38

Sign in to view logs

Add the trace monoid

Add the trace monoid #38

Triggered via push October 7, 2025 13:09
@yisioxyisiox
pushed ec950c7
ys-working
Status Success
Total duration 3m 21s
Artifacts –

lean_action_ci.yml

on: push
build
3m 17s
build
Fit to window
Zoom out
Zoom in