Skip to content
Lean Action CI

lists from finsets #88

Sign in to view logs

lists from finsets

lists from finsets #88

Triggered via push May 3, 2025 03:08
@siddhartha-gadgilsiddhartha-gadgil
pushed 81d349c
main
Status Success
Total duration 2m 24s
Artifacts –

lean_action_ci.yml

on: push
build
2m 16s
build
Fit to window
Zoom out
Zoom in