From 6c8d44d2761db759627be4e55a9f0047e7c05dd1 Mon Sep 17 00:00:00 2001
From: Millian Poquet <millian.poquet@irit.fr>
Date: Mon, 2 Dec 2024 18:21:49 +0100
Subject: [PATCH] ci: disable codecov push

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index c7b53035..c36bae23 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -27,7 +27,7 @@ build_and_test:
     - nix-shell --pure -A coverage-report ${NIX_ARGS} --command ${CI_PROJECT_DIR}/ci/list-store-paths-for-cachix.bash | cachix push batsim
     - nix-build -A coverage-report ${NIX_ARGS} && cp -rL result ./coverage_report
     # Send coverage results to codecov.io
-    - nix-shell -A codecov_push_shell --command 'codecov -f ./coverage_report/coveralls.json'
+    # - nix-shell -A codecov_push_shell --command 'codecov -f ./coverage_report/coveralls.json'
   artifacts:
     when: always
     expire_in: 8 hours