From dad427d4b61611bbca53108541b548961585fb25 Mon Sep 17 00:00:00 2001 From: Catherine Date: Thu, 3 Jul 2025 00:31:07 +0000 Subject: [PATCH] CI: fix coverage submission. --- .codecov.yml | 4 ---- .github/workflows/main.yaml | 4 +--- 2 files changed, 1 insertion(+), 7 deletions(-) delete mode 100644 .codecov.yml diff --git a/.codecov.yml b/.codecov.yml deleted file mode 100644 index 5c09e4f0d..000000000 --- a/.codecov.yml +++ /dev/null @@ -1,4 +0,0 @@ -coverage: - status: - project: - default: false diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml index fce7ca1d5..0335a022d 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 @@ -54,8 +53,7 @@ jobs: run: | pdm run test - name: Submit code coverage - run: | - codecov + uses: codecov/codecov-action@v5 smoketest: # If we plug this into downstream projects, does magic smoke escape? runs-on: ubuntu-latest