Skip to content

Fix constrained ignored lambdas in Plutus Tx#7815

Open
knoal wants to merge 1 commit into
IntersectMBO:masterfrom
knoal:feat/6085-unannotated-lambdas
Open

Fix constrained ignored lambdas in Plutus Tx#7815
knoal wants to merge 1 commit into
IntersectMBO:masterfrom
knoal:feat/6085-unannotated-lambdas

fix: recover constrained types for ignored lambdas

28abdf4
Select commit
Loading
Failed to load commit list.
IOG Hydra / ci/eval succeeded Jun 11, 2026 in 6s

Evaluation succeeded

Checkout took 4s.
Evaluation took 29 min 26s.