From 0768a05944c9ebd56276b2a8431098f8a02baf42 Mon Sep 17 00:00:00 2001
From: Catherine <whitequark@whitequark.org>
Date: Thu, 11 Apr 2024 08:50:38 +0000
Subject: [PATCH] CI: fix coverage submission.

---
 .editorconfig               |  3 +++
 .github/workflows/main.yaml | 16 +++++++++++-----
 2 files changed, 14 insertions(+), 5 deletions(-)

diff --git a/.editorconfig b/.editorconfig
index 2d0ad6a2d7..9e30487733 100644
--- a/.editorconfig
+++ b/.editorconfig
@@ -7,3 +7,6 @@ indent_size = 4
 max_line_length = 100
 trim_trailing_whitespace = true
 insert_final_newline = true
+
+[.github/*.yaml]
+indent_size = 2
diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
index 93909fbef7..582cb4bdc3 100644
--- a/.github/workflows/main.yaml
+++ b/.github/workflows/main.yaml
@@ -41,7 +41,6 @@ jobs:
         sudo add-apt-repository 'deb http://ppa.launchpad.net/sri-csl/formal-methods/ubuntu bionic main'
         sudo apt-get update
         sudo apt-get install yices2
-        pip install codecov build
         pdm install --dev
     - name: Cache YoWASP build products
       uses: actions/cache@v4
@@ -53,9 +52,16 @@ jobs:
     - name: Run tests
       run: |
         pdm run test
-    - name: Submit code coverage
-      run: |
-        codecov
+        pdm run python -m coverage xml
+    - name: Upload coverage to Codecov
+      uses: codecov/codecov-action@v4
+      env:
+        PYTHON: ${{ matrix.python-version }}
+      with:
+        use_oidc: true
+        token: ${{ secrets.CODECOV_TOKEN }}
+        env_vars: PYTHON
+        file: ./coverage.xml
 
   smoketest: # If we plug this into downstream projects, does magic smoke escape?
     runs-on: ubuntu-latest
@@ -260,4 +266,4 @@ jobs:
         GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
       with:
         tag_name: ${{ github.ref_name }}
-        release_name: ${{ steps.metadata.outputs.name }}
\ No newline at end of file
+        release_name: ${{ steps.metadata.outputs.name }}