Skip to content

rename 'constr_{fields,index}' to 'unconstr_{field,index}' #2155

rename 'constr_{fields,index}' to 'unconstr_{field,index}'

rename 'constr_{fields,index}' to 'unconstr_{field,index}' #2155

Triggered via push December 13, 2024 14:18
Status Success
Total duration 12m 35s
Artifacts

nix.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 warning
nix-build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636