Skip to content

add or.lean

add or.lean #81

Triggered via push February 5, 2025 13:41
Status Success
Total duration 5m 1s
Artifacts

lean_build.yml

on: push
Fit to window
Zoom out
Zoom in