diff --git a/.github/workflows/cmake.yml b/.github/workflows/cmake.yml
index a69147e..7f0ea7d 100644
--- a/.github/workflows/cmake.yml
+++ b/.github/workflows/cmake.yml
@@ -42,6 +42,12 @@ jobs:
         working-directory: ${{github.workspace}}/build
         run: ctest -C ${{env.BUILD_TYPE}} --rerun-failed --output-on-failure -T Test -T Coverage -T MemCheck
 
+      - name: Upload coverage reports to Codecov
+        if: matrix.build_type == 'Debug' && matrix.os == 'ubuntu-latest'
+        uses: codecov/codecov-action@v4.0.1
+        with:
+          token: ${{ secrets.CODECOV_TOKEN }}
+
       - name: Test without coverage and memory sanitizer
         if: matrix.build_type == 'Release' || matrix.os != 'ubuntu-latest'
         working-directory: ${{github.workspace}}/build
diff --git a/README.md b/README.md
index e7c9e0e..7961d3c 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,7 @@
 # The RiDDLe Language
 
 ![Build Status](https://github.com/ratioSolver/RiDDLe/actions/workflows/cmake.yml/badge.svg)
+[![codecov](https://codecov.io/gh/ratioSolver/RiDDLe/branch/master/graph/badge.svg)](https://codecov.io/gh/ratioSolver/RiDDLe)
 
 The Rational Domain Definition Language (RiDDLe) takes inspiration from the [DDL.1](https://www.researchgate.net/publication/228818262_DDL_1_A_formal_description_of_a_constraint_representation_language_for_physical_domains) language and extends it introducing a pure object-oriented approach to the definition of timeline-based domains and problem definitions, allowing an higher decomposition of the domain model and an increase of modularity with a consequent reduction of the the overall complexity at design phase.