From b8a316a99c12646ef7f69e5788b1e8b04c806597 Mon Sep 17 00:00:00 2001
From: Heinrich Apfelmus <apfelmus@quantentunnel.de>
Date: Fri, 1 Sep 2023 16:45:38 +0200
Subject: [PATCH] ci: Make formatting pipeline fail if something had to be
 formatted

---
 .buildkite/pipeline.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.buildkite/pipeline.yml b/.buildkite/pipeline.yml
index 1dfe847..8f08e59 100644
--- a/.buildkite/pipeline.yml
+++ b/.buildkite/pipeline.yml
@@ -24,7 +24,7 @@ steps:
   - label: 'Check format'
     depends_on: linux-nix
     command: |
-      ${nix} --command bash -c "echo +++ format; just format"
+      ${nix} --command bash -c "echo +++ format; just format; git diff --exit-code"
     agents:
       system: ${linux}
     env: