Fix github actions to install within PDM

Author: robtaylor

.github/workflows/main.yaml

@@ -38,22 +38,21 @@ jobs:
           python-version: ${{ matrix.python-version }}
       - name: Install dependencies
         run: |
-          pip install codecov
           pdm install --dev
       - name: Install Amaranth release
         if: ${{ matrix.amaranth-version != 'git' }}
         run: |
-          pip install 'amaranth==${{ matrix.amaranth-version }}'
+          pdm install 'amaranth==${{ matrix.amaranth-version }}'
       - name: Install Amaranth from git
         if: ${{ matrix.amaranth-version == 'git' }}
         run: |
-          pip install git+https://github.com/amaranth-lang/amaranth.git
+          pdm install git+https://github.com/amaranth-lang/amaranth.git
       - name: Run tests
         run: |
           pdm run test
       - name: Submit code coverage
         run:
-          codecov
+          pdm run codecov
 
   document:
     runs-on: ubuntu-latest

pyproject.toml

@@ -34,6 +34,7 @@ build-backend = "pdm.backend"
 [tool.pdm.dev-dependencies]
 test = [
   "coverage",
+  "codecov"
 ]
 docs = [
   "sphinx~=7.1",