diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 8e177212..ebcab89d 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -33,7 +33,7 @@ jobs:
         with:
           ocaml-version: ${{ matrix.ocaml-version }}
 
-      - run: opam install ocamlformat.0.18.0
+      - run: opam install ocamlformat.0.22.4
       - run: opam exec -- make fmt-check
       - run: opam pin add coq ${{ matrix.coq-version }}
       - run: opam pin add coq-of-ocaml.dev . --no-action
diff --git a/.ocamlformat b/.ocamlformat
index d8047b2c..4e4d8739 100644
--- a/.ocamlformat
+++ b/.ocamlformat
@@ -1 +1 @@
-version=0.20.1
+version=0.22.4