Skip to content

proc change: well-formed goals when introducing fresh locals#1040

Merged
strub merged 1 commit into
mainfrom
fix-1026
Jun 10, 2026
Merged

proc change: well-formed goals when introducing fresh locals#1040
strub merged 1 commit into
mainfrom
fix-1026

proc change: well-formed goals when introducing fresh locals

f6faafb
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Build Docker images
succeeded Jun 10, 2026 in 6m 41s