diff --git a/.github/workflows/mvn-build-action.yml b/.github/workflows/mvn-build-action.yml
index 539533eb..fd02b15f 100644
--- a/.github/workflows/mvn-build-action.yml
+++ b/.github/workflows/mvn-build-action.yml
@@ -21,14 +21,5 @@ jobs:
         run: ./src/compile-and-clean-test-projects.sh
       - name: Test and Coverage with Maven
         run: mvn test jacoco:report
-      - name: "Report: Coverage via coveralls.io"
-        run: |
-          export CI_BRANCH=${BRANCH_NAME_OR_REF#refs/heads/}
-          export CI_PULL_REQUEST=$(jq --raw-output .pull_request.number "$GITHUB_EVENT_PATH")
-          mvn coveralls:report --no-transfer-progress -DrepoToken=$COVERALLS_SECRET
-        env:
-          CI_NAME: github
-          BRANCH_NAME_OR_REF: ${{ github.head_ref || github.ref }}
-          CI_BUILD_NUMBER: ${{ github.run_id }}
-          CI_BUILD_URL: https://github.com/${{ github.repository }}/commit/${{ github.event.after }}/checks
-          COVERALLS_SECRET: ${{ secrets.GITHUB_TOKEN }}
+      - name: Report coverage to Codecov
+        uses: codecov/codecov-action@v1.5.2
diff --git a/.gitignore b/.gitignore
index ee81794d..548dd8cd 100644
--- a/.gitignore
+++ b/.gitignore
@@ -42,3 +42,6 @@ hs_err_pid*
 !/src/main/resources/runner-classes/fr/inria/stamp/runner/test/Loader.class
 !/src/main/resources/runner-classes/fr/inria/stamp/runner/coverage/JacocoRunner.class
 !/src/main/resources/runner-classes/fr/inria/stamp/runner/test/Failure.class
+
+# Jacoco exec files
+test-runner.exec
diff --git a/.travis.yml b/.travis.yml
deleted file mode 100644
index 2b1594aa..00000000
--- a/.travis.yml
+++ /dev/null
@@ -1,22 +0,0 @@
-language: java
-
-sudo: required
-
-jdk: openjdk8
-
-cache:
-  directories:
-    - $HOME/.m2
-install:
-  - export MAVEN_HOME=/usr/local/maven-3.5.0
-  - ./src/compile-and-clean-test-projects.sh
-
-script:
-  - mvn clean test
-
-after_success:
-  - ./.travis/travis-deploy.sh
-
-branch:
-  only:
-    - master
diff --git a/.travis/travis-deploy.sh b/.travis/travis-deploy.sh
deleted file mode 100755
index 08c3cfc8..00000000
--- a/.travis/travis-deploy.sh
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/usr/bin/env bash
-
-if [ "$TRAVIS_PULL_REQUEST" = "false" ] && [ "$TRAVIS_BRANCH" = "master" ]; then
-    cp .travis/travis-settings.xml $HOME/.m2/settings.xml && mvn deploy -DskipTests
-else
-    echo "Nothing to deploy when on PR or other branch"
-fi
\ No newline at end of file
diff --git a/.travis/travis-settings.xml b/.travis/travis-settings.xml
deleted file mode 100755
index 4b7c99cf..00000000
--- a/.travis/travis-settings.xml
+++ /dev/null
@@ -1,9 +0,0 @@
-<settings>
-    <servers>
-        <server>
-            <id>ossrh-test-runner-snapshots</id>
-            <username>${secrets.OSS_TESTRUNNER_USERNAME}</username>
-            <password>${secrets.OSS_TESTRUNNER_PASSWORD}</password>
-        </server>
-    </servers>
-</settings>
\ No newline at end of file
diff --git a/codecov.yml b/codecov.yml
new file mode 100644
index 00000000..575bc71c
--- /dev/null
+++ b/codecov.yml
@@ -0,0 +1,8 @@
+codecov:
+  require_ci_to_pass: no
+
+comment: false
+
+coverage:
+  precision: 2
+  round: down
\ No newline at end of file