From 6a5e4f6a552133059cb24bc8273a1c59f061666c Mon Sep 17 00:00:00 2001
From: Serge Smertin <259697+nfx@users.noreply.github.com>
Date: Fri, 19 Apr 2024 19:22:59 +0200
Subject: [PATCH] Use managed upload token for codecov.io (#1463)

v4 of codecov-action no longer supports tokenless upload. ~Let's try
avoiding tokens altogether by using OIDC.~ OIDC doesn't seem to work:
https://github.com/codecov/codecov-action/issues/1378, using managed
`CODECOV_TOKEN` secrets.
---
 .github/workflows/push.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 74161d75bd..bef63e8671 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -41,6 +41,8 @@ jobs:
 
       - name: Publish test coverage
         uses: codecov/codecov-action@v4
+        with:
+          token: ${{ secrets.CODECOV_TOKEN }}
 
   fmt:
     runs-on: ubuntu-latest