Skip to content
Lean Action CI

added framework for uncurrySum proofs + def uncurrySum #51

Sign in to view logs

added framework for uncurrySum proofs + def uncurrySum

added framework for uncurrySum proofs + def uncurrySum #51

Triggered via push January 7, 2025 14:24
@MetalCreator666MetalCreator666
pushed bad7aff
SL-wedge-product
Status Failure
Total duration 1m 16s
Artifacts –

lean_action_ci.yml

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

Annotations

2 errors
build
lake build failed
build
Process completed with exit code 1.