diff --git a/.github/workflows/proof_tools.yml b/.github/workflows/proof_tools.yml
index 3247eb2167f58905e92b0e40d6fd6c8d93910f41..9621e082b514b8eb973315addc340a1da996cbef 100644
--- a/.github/workflows/proof_tools.yml
+++ b/.github/workflows/proof_tools.yml
@@ -31,8 +31,6 @@ jobs:
         cd "${GITHUB_WORKSPACE}"/personoj/proofs/dopth || exit 1
         opam install dune --yes
         opam exec -- dune build
-        opam install ocamlformat
-        opam exec -- dune build @fmt
         opam exec -- dune runtest
 
     - name: chainprops
@@ -40,8 +38,6 @@ jobs:
         cd "${GITHUB_WORKSPACE}"/personoj/proofs/chainprops || exit 1
         opam install . --deps-only --yes
         opam exec -- dune build
-        opam install ocamlformat
-        opam exec -- dune build @fmt
         opam exec -- dune runtest
 
     - name: appaxiom
@@ -49,8 +45,6 @@ jobs:
         cd "${GITHUB_WORKSPACE}"/personoj/proofs/appaxiom || exit 1
         opam install . --deps-only --yes
         opam exec -- dune build
-        opam install ocamlformat
-        opam exec -- dune build @fmt
         opam exec -- dune runtest
 
     - name: qfo
@@ -58,8 +52,6 @@ jobs:
         cd "${GITHUB_WORKSPACE}"/personoj/proofs/qfo || exit 1
         opam install . --deps-only --yes
         opam exec -- dune build
-        opam install ocamlformat
-        opam exec -- dune build @fmt
         opam exec -- dune runtest
 
   pipeline: