From e5b5da9414e6d86a319972a792e3a7702c2d43c2 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sat, 30 Apr 2022 13:29:50 -0400
Subject: [PATCH] chore: check for lint in CI

---
 .github/workflows/main.yml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index e3f28bc3..feca47c2 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -41,5 +41,10 @@ jobs:
 
       - run: opam exec -- dune build @install -p opentelemetry,opentelemetry-lwt,opentelemetry-client-ocurl,opentelemetry-cohttp-lwt
 
-      - run: opam exec -- dune build @runtest --ignore-promoted-rules
+      - run: dune build @lint
+
+      # check that nothing changed
+      - run: git diff --quiet --exit-code
+
+      - run: opam exec -- dune build @runtest
         if: ${{ matrix.os == 'ubuntu-latest' }}