Upgrade ocamlformat

formal-land · Jun 22, 2022 · 556d6bd · 556d6bd
1 parent 92e473e
commit 556d6bd
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -1 +1 @@
-version=0.20.1
+version=0.22.4