diff --git a/dune-project b/dune-project
index 8ccc390..975e793 100644
--- a/dune-project
+++ b/dune-project
@@ -1,2 +1,3 @@
 (lang dune 2.7)
 (name webauthn)
+(formatting disabled)