From a28623065c39316482530c9379aa6b6b9fa717ed Mon Sep 17 00:00:00 2001
From: Danilo Pianini <danilo.pianini@unibo.it>
Date: Thu, 19 Dec 2024 17:24:15 +0100
Subject: [PATCH] style: enable PMD (presumably, pmd/pmd#5096 is fixed now)

---
 build.gradle.kts | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/build.gradle.kts b/build.gradle.kts
index be8469b2..d5748524 100644
--- a/build.gradle.kts
+++ b/build.gradle.kts
@@ -86,11 +86,6 @@ tasks.test {
     }
 }
 
-// TODO: enable PMD when this bug is fixed: https://github.com/pmd/pmd/issues/5096
-tasks.withType<Pmd>().configureEach {
-    enabled = false
-}
-
 signing {
     val signingKey: String? by project
     val signingPassword: String? by project