From 428be00ab6df9d818c78408fe679e25def9a9d9e Mon Sep 17 00:00:00 2001
From: Danilo Pianini <danilo.pianini@unibo.it>
Date: Fri, 6 Dec 2024 17:19:44 +0100
Subject: [PATCH] build: re-enable PMD

presumably, if this commit gets merged, then cmd/pmd#5096 has been solved.
---
 build.gradle.kts | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/build.gradle.kts b/build.gradle.kts
index e7c30a3ace..6a28a96a0e 100644
--- a/build.gradle.kts
+++ b/build.gradle.kts
@@ -117,10 +117,6 @@ allprojects {
                     """.trimIndent(),
                 )
             }
-            // TODO: enable PMD when this bug is fixed: https://github.com/pmd/pmd/issues/5096
-            tasks.withType<Pmd>().configureEach {
-                enabled = false
-            }
         }
 
         tasks.withType<AbstractDokkaLeafTask>().configureEach {