Skip to content
Lean Action CI

Add PStream, backed by MLList, to lazily evaluate NonDet branches #67

Sign in to view logs

Add PStream, backed by MLList, to lazily evaluate NonDet branches

Add PStream, backed by MLList, to lazily evaluate NonDet branches #67

Triggered via push March 5, 2026 21:28
@paulcadmanpaulcadman
pushed 8ec54ba
main
Status Success
Total duration 30s
Artifacts –

lean_action_ci.yml

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