Skip to content
Lean Action CI

Split the eval function in Lean into multiple functions. #3

Sign in to view logs

Split the eval function in Lean into multiple functions.

Split the eval function in Lean into multiple functions. #3

Triggered via push November 2, 2025 22:06
@offendooffendo
pushed 4178397
main
Status Success
Total duration 1m 19s
Artifacts –

lean_action_ci.yml

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