From 4ff604015cc19bfc215b38125c43e192d8153b02 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 13 May 2024 21:00:30 -0400
Subject: [PATCH] rework CI a tiny bit

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

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 97961423..391f92a0 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -9,6 +9,7 @@ on:
 jobs:
   run:
     name: build
+    timeout-minutes: 15
     strategy:
       fail-fast: true
       matrix:
@@ -48,3 +49,23 @@ jobs:
       - run: opam exec -- dune runtest -j 1 -p containers # test only core on non-ubuntu platform
         if: ${{ matrix.os != 'ubuntu-latest' }}
 
+
+  format:
+    name: format
+    strategy:
+      matrix:
+        ocaml-compiler:
+            - '5.1'
+    runs-on: 'ubuntu-latest'
+    steps:
+      - uses: actions/checkout@main
+      - name: Use OCaml ${{ matrix.ocaml-compiler }}
+        uses: ocaml/setup-ocaml@v2
+        with:
+          ocaml-compiler: ${{ matrix.ocaml-compiler }}
+          dune-cache: true
+          allow-prerelease-opam: true
+
+      - run: opam install ocamlformat.0.24.1
+      - run: opam exec -- make format-check
+