From 027bcff7c558491958e260d3418ffb493584de34 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Sun, 14 Dec 2025 12:15:26 +0000
Subject: [PATCH 1/4] Initial plan


From 3015a07871701a8d0c97a700cd199629e4029ef8 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Sun, 14 Dec 2025 12:18:57 +0000
Subject: [PATCH 2/4] Add JaCoCo plugin and Codecov upload to workflow

Co-authored-by: Garciat <118277+Garciat@users.noreply.github.com>
---
 .github/workflows/maven.yml |  5 +++++
 pom.xml                     | 23 +++++++++++++++++++++++
 2 files changed, 28 insertions(+)

diff --git a/.github/workflows/maven.yml b/.github/workflows/maven.yml
index 23b2e21..5fb4085 100644
--- a/.github/workflows/maven.yml
+++ b/.github/workflows/maven.yml
@@ -19,3 +19,8 @@ jobs:
         cache: maven
     - name: Build with Maven
       run: mvn clean verify package
+    - name: Upload coverage to Codecov
+      uses: codecov/codecov-action@v5
+      with:
+        token: ${{ secrets.CODECOV_TOKEN }}
+        fail_ci_if_error: true
diff --git a/pom.xml b/pom.xml
index e9c6aa6..19a3a27 100644
--- a/pom.xml
+++ b/pom.xml
@@ -89,6 +89,25 @@
           <artifactId>maven-surefire-plugin</artifactId>
           <version>3.5.4</version>
         </plugin>
+        <plugin>
+          <groupId>org.jacoco</groupId>
+          <artifactId>jacoco-maven-plugin</artifactId>
+          <version>0.8.12</version>
+          <executions>
+            <execution>
+              <goals>
+                <goal>prepare-agent</goal>
+              </goals>
+            </execution>
+            <execution>
+              <id>report</id>
+              <phase>test</phase>
+              <goals>
+                <goal>report</goal>
+              </goals>
+            </execution>
+          </executions>
+        </plugin>
         <plugin>
           <artifactId>maven-jar-plugin</artifactId>
           <version>3.5.0</version>
@@ -126,6 +145,10 @@
       <plugin>
         <artifactId>maven-compiler-plugin</artifactId>
       </plugin>
+      <plugin>
+        <groupId>org.jacoco</groupId>
+        <artifactId>jacoco-maven-plugin</artifactId>
+      </plugin>
     </plugins>
   </build>
 </project>
\ No newline at end of file

From 3cace57e1c13c90eaac4bdc3550a5d13bfafb14b Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Sun, 14 Dec 2025 12:19:45 +0000
Subject: [PATCH 3/4] Update JaCoCo report phase to verify for better alignment
 with workflow

Co-authored-by: Garciat <118277+Garciat@users.noreply.github.com>
---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 19a3a27..3ffc89f 100644
--- a/pom.xml
+++ b/pom.xml
@@ -101,7 +101,7 @@
             </execution>
             <execution>
               <id>report</id>
-              <phase>test</phase>
+              <phase>verify</phase>
               <goals>
                 <goal>report</goal>
               </goals>

From 96d7a140a22f98d510495a593bbfd428cc64b311 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Sun, 14 Dec 2025 12:26:27 +0000
Subject: [PATCH 4/4] Add Codecov badge to README

Co-authored-by: Garciat <118277+Garciat@users.noreply.github.com>
---
 README.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/README.md b/README.md
index aa3ebdb..fc50fe7 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,7 @@
 # Type Class resolution for Java
 
+[![codecov](https://codecov.io/gh/Garciat/java-type-classes/branch/main/graph/badge.svg)](https://codecov.io/gh/Garciat/java-type-classes)
+
 See: https://garciat.com/posts/java-type-classes/
 
 The core API of this library is: