Add a clang-format job

.github/workflows/lint.yml

@@ -73,3 +73,12 @@ jobs:
       # Lint with ruff and cpplint
       - name: "Lint with pylint . . ."
         run: uv run pylint $PYTHON_FILES
+  clang-format:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v6
+      - name: Run clang-format style check on src
+        uses: joseph-edwards/clang-format-action@v1.0.1
+        with:
+          clang-format-version: 15
+          check-path: "src"

src/cong.cpp

@@ -250,7 +250,7 @@ obviously infinite; ``False`` is returned if it is not.
     congruence has infinitely many classes.
 )pbdoc");
     }  // bind_cong
-  }  // namespace
+  }    // namespace
 
   void init_cong(py::module& m) {
     bind_cong<word_type>(m, "CongruenceWord");

src/froidure-pin.cpp

@@ -1269,7 +1269,7 @@ This function returns the element of *fp* obtained by evaluating *w*.
               });
       }
     }  // bind_froidure_pin_stateful
-  }  // namespace
+  }    // namespace
 
   void init_froidure_pin(py::module& m) {
     bind_froidure_pin_stateless<Transf<0, uint8_t>>(m, "Transf1");

src/hpcombi.cpp

@@ -2406,7 +2406,7 @@ This function returns a newly constructed :any:`PPerm16` with the same image as
    True
 )pbdoc");
     }  // init_hpcombi_pperm16
-  }  // namespace
+  }    // namespace
 }  // namespace HPCombi
 
 namespace libsemigroups {

src/konieczny.cpp

@@ -740,7 +740,7 @@ not already known.
    int
 )pbdoc");
     }  // bind_konieczny
-  }  // namespace
+  }    // namespace
 
   void init_konieczny(py::module& m) {
     bind_konieczny<BMat8>(m, "BMat8");

src/main.cpp

@@ -36,13 +36,13 @@ namespace libsemigroups {
 #ifdef VERSION_INFO
     m.attr("__version__") = VERSION_INFO;
 #else
-    m.attr("__version__") = "dev";
+    m.attr("__version__")                   = "dev";
 #endif
 #ifdef LIBSEMIGROUPS_EIGEN_ENABLED
     m.attr("LIBSEMIGROUPS_EIGEN_ENABLED")
         = static_cast<bool>(LIBSEMIGROUPS_EIGEN_ENABLED);
 #else
-    m.attr("LIBSEMIGROUPS_EIGEN_ENABLED") = false;
+    m.attr("LIBSEMIGROUPS_EIGEN_ENABLED")   = false;
 #endif
 
 #ifdef LIBSEMIGROUPS_HPCOMBI_ENABLED

src/present.cpp

@@ -1655,7 +1655,7 @@ defined in the alphabet, and that the inverses act as semigroup inverses.
       * :any:`presentation.throw_if_bad_inverses`
 )pbdoc");
     }  // bind_inverse_present
-  }  // namespace
+  }    // namespace
 
   void init_present(py::module& m) {
     bind_present<word_type>(m, "PresentationWord");

src/schreier-sims.cpp

@@ -516,7 +516,7 @@ corresponding to the intersection of *x* and *y*.
 :raises LibsemigroupsError:  if *result* is not empty.
 )pbdoc");
     }  // bind_schreier_sims
-  }  // namespace
+  }    // namespace
 
   void init_schreier_sims(py::module& m) {
     // One call to bind is required per list of types

src/todd-coxeter.cpp

@@ -633,7 +633,7 @@ Pro).
 :param tc: the  :any:`ToddCoxeter` instance.
 :type tc: ToddCoxeter)pbdoc");
     }  // bind_todd_coxeter
-  }  // namespace
+  }    // namespace
 
   void init_todd_coxeter(py::module& m) {
     bind_todd_coxeter<word_type>(m, "ToddCoxeterWord");