Skip to content

Improve names of some global constraint variables #8388

Improve names of some global constraint variables

Improve names of some global constraint variables #8388

Triggered via push October 20, 2023 10:39
Status Success
Total duration 6m 47s
Artifacts

indentation.yml

on: push
Matrix: indentation
Fit to window
Zoom out
Zoom in