Skip to content
Check Format

Update naming to be consistent with MiniZinc #55

Sign in to view logs

Update naming to be consistent with MiniZinc

Update naming to be consistent with MiniZinc #55

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check_format
14s
14s