CI: run cargo-sort and move formatting related jobs in their configuration

.github/workflows/ci.yml

@@ -42,27 +42,6 @@ jobs:
           make deps
           make build
 
-  run_formatting:
-    name: Formatting
-    runs-on: ubuntu-latest
-    strategy:
-      matrix:
-        rust_toolchain_version: ["nightly"]
-    steps:
-      - name: Checkout repository
-        uses: actions/checkout@v4
-        with:
-          submodules: recursive
-
-      - name: Use shared Rust toolchain setting up steps
-        uses: ./.github/actions/toolchain-shared
-        with:
-          rust_toolchain_version: ${{ matrix.rust_toolchain_version }}
-
-      - name: Run cargo fmt
-        run: |
-          make format
-
   run_checks:
     name: Run checks and tests
     # We run only one of the matrix options on the toffee `hetzner-1` self-hosted GitHub runner.

.github/workflows/fmt.yml

@@ -0,0 +1,31 @@
+name: Global configuration for formatting related jobs
+
+on:
+  workflow_dispatch:
+  pull_request:
+  push:
+
+jobs:
+  run_rust_formatting:
+    name: Formatting Rust related code
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        rust_toolchain_version: ["nightly"]
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+        with:
+          submodules: recursive
+
+      - name: Use shared Rust toolchain setting up steps
+        uses: ./.github/actions/toolchain-shared
+        with:
+          rust_toolchain_version: ${{ matrix.rust_toolchain_version }}
+
+      - name: Install cargo-sort
+        run: cargo install cargo-sort
+
+      - name: Check formatting related to Rust code
+        run: |
+          make check-format

Cargo.toml

@@ -2,25 +2,25 @@
 members = [
     "arrabbiata",
     "book",
-    "turshi",
     "curves",
+    "folding",
     "groupmap",
     "hasher",
+    "internal-tracing",
+    "ivc",
     "kimchi",
     "msm",
+    "mvpoly",
     "o1vm",
+    "poly-commitment",
     "poseidon",
     "poseidon/export_test_vectors",
-    "poly-commitment",
+    "saffron"
+,
     "signer",
-    "mvpoly",
     "tools/kimchi-visu",
-    "utils",
-    "internal-tracing",
-    "ivc",
-    "folding",
-    "saffron"
-]
+    "turshi",
+    "utils"]
 resolver = "2"
 
 [workspace.dependencies]
@@ -81,7 +81,6 @@ thiserror = "1.0.30"
 tinytemplate = "1.1"
 wasm-bindgen = "=0.2.87"
 
-
 arrabbiata = { path = "./arrabbiata", version = "0.1.0" }
 folding = { path = "./folding", version = "0.1.0" }
 groupmap = { path = "./groupmap", version = "0.1.0" }

Makefile

@@ -116,8 +116,13 @@ nextest-all-with-coverage:
 		$(COVERAGE_ENV) BIN_EXTRA_ARGS="$(BIN_EXTRA_ARGS)" $(MAKE) nextest-all
 
 
-format: ## Format the code
+check-format: ## Check the code formatting
 		cargo +nightly fmt -- --check
+		cargo sort --check
+
+format: ## Format the code
+		cargo +nightly fmt
+		cargo sort
 
 
 lint: ## Lint the code
@@ -201,4 +206,4 @@ ${O1VM_MIPS_BIN_DIR}/%.o: ${O1VM_MIPS_SOURCE_DIR}/%.asm
 fclean: clean ## Clean the tooling artefacts in addition to running clean
 		rm -rf ${RISCV32_TOOLCHAIN_PATH}
 
-.PHONY: all setup install-test-deps clean build release test-doc test-doc-with-coverage test test-with-coverage test-heavy test-heavy-with-coverage test-all test-all-with-coverage nextest nextest-with-coverage nextest-heavy nextest-heavy-with-coverage nextest-all nextest-all-with-coverage format lint generate-test-coverage-report generate-doc setup-riscv32-toolchain help fclean build-riscv32-programs build-mips-programs
+.PHONY: all setup install-test-deps clean build release test-doc test-doc-with-coverage test test-with-coverage test-heavy test-heavy-with-coverage test-all test-all-with-coverage nextest nextest-with-coverage nextest-heavy nextest-heavy-with-coverage nextest-all nextest-all-with-coverage format lint generate-test-coverage-report generate-doc setup-riscv32-toolchain help fclean build-riscv32-programs build-mips-programs check-format