Merge pull request #15563 from MinaProtocol/dkijania/ci_for_dhall

New CI jobs for dhall (format,syntax,lint)

buildkite/Makefile

@@ -1,7 +1,17 @@
 # Builds all dhall entrypoints
-check:
-	dhall --file './src/Prepare.dhall'
-	dhall --file './src/Monorepo.dhall'
+check_syntax:
 	# globstar doesn't work on macOS bash :facepalm:, so we can't glob
 	# xargs will short-circuit if a command fails with code 255
-	find ./src/Jobs/ -name "*.dhall" -print0 | xargs -I{} -0 -n1 bash -c 'dhall --file {} || exit 255'
+	find ./src/ -name "*.dhall" -print0 | xargs -I{} -0 -n1 bash -c 'echo "{}" &&  dhall --file {} > /dev/null || exit 255'
+
+check_lint:
+	find ./src/ -name "*.dhall" -print0 | xargs -I{} -0 -n1 bash -c 'echo "{}" && dhall --ascii lint --check --inplace {} || exit 255'
+
+check_format:
+	find ./src/ -name "*.dhall" -print0 | xargs -I{} -0 -n1 bash -c 'echo "{} format" && dhall --ascii format --check --inplace {} || exit 255'
+
+lint:
+	find ./src/ -name "*.dhall" -print0 | xargs -I{} -0 -n1 bash -c 'echo "{}" && dhall --ascii lint --inplace {} || exit 255'
+
+format:
+	find ./src/ -name "*.dhall" -print0 | xargs -I{} -0 -n1 bash -c 'echo "{}" && dhall --ascii format --inplace {} || exit 255'