fix format check ci

Author: aspeddro

.github/workflows/ci.yml

@@ -331,7 +331,7 @@ jobs:
         shell: bash
 
       - name: Format check
-        run: make format
+        run: opam exec -- dune build @fmt --auto-promote
 
       - name: Build compiler
         if: runner.os != 'Linux'