CI: Update actions to Node 20.

This commit is contained in:
Catherine 2024-02-09 13:47:37 +00:00
parent 6e06fc013f
commit 83a9149c4c

View file

@ -24,15 +24,15 @@ jobs:
include: include:
- python-version: '3.13-dev' - python-version: '3.13-dev'
allow-failure: true allow-failure: true
continue-on-error: '${{ matrix.allow-failure }}' continue-on-error: ${{ matrix.allow-failure }}
name: 'test (${{ matrix.python-version }})' name: 'test (${{ matrix.python-version }})'
steps: steps:
- name: Check out source code - name: Check out source code
uses: actions/checkout@v3 uses: actions/checkout@v4
with: with:
fetch-depth: 0 fetch-depth: 0
- name: Set up PDM - name: Set up PDM
uses: pdm-project/setup-pdm@v3 uses: pdm-project/setup-pdm@v4
with: with:
python-version: ${{ matrix.python-version }} python-version: ${{ matrix.python-version }}
- name: Install dependencies - name: Install dependencies
@ -44,7 +44,7 @@ jobs:
pip install codecov pip install codecov
pdm install --dev pdm install --dev
- name: Cache YoWASP build products - name: Cache YoWASP build products
uses: actions/cache@v3 uses: actions/cache@v4
with: with:
path: ~/.cache/YoWASP path: ~/.cache/YoWASP
key: YoWASP-${{ runner.os }}-${{ hashFiles('./.venv/**/*.wasm') }} key: YoWASP-${{ runner.os }}-${{ hashFiles('./.venv/**/*.wasm') }}
@ -54,21 +54,21 @@ jobs:
run: | run: |
pdm run test pdm run test
- name: Submit code coverage - name: Submit code coverage
run: run: |
codecov codecov
document: document:
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
- name: Check out source code - name: Check out source code
uses: actions/checkout@v3 uses: actions/checkout@v4
with: with:
fetch-depth: 0 fetch-depth: 0
- name: Fetch tags from upstream repository - name: Fetch tags from upstream repository
run: | run: |
git fetch --tags https://github.com/amaranth-lang/amaranth.git git fetch --tags https://github.com/amaranth-lang/amaranth.git
- name: Set up PDM - name: Set up PDM
uses: pdm-project/setup-pdm@v3 uses: pdm-project/setup-pdm@v4
with: with:
python-version: '3.12' python-version: '3.12'
- name: Install dependencies - name: Install dependencies
@ -78,7 +78,7 @@ jobs:
run: | run: |
pdm run document pdm run document
- name: Upload documentation archive - name: Upload documentation archive
uses: actions/upload-artifact@v3 uses: actions/upload-artifact@v4
with: with:
name: docs name: docs
path: docs/_build path: docs/_build
@ -87,27 +87,27 @@ jobs:
needs: needs:
- test - test
- document - document
if: always() && !contains(needs.*.result, 'cancelled') if: ${{ always() && !contains(needs.*.result, 'cancelled') }}
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
- run: ${{ contains(needs.*.result, 'failure') && 'false' || 'true' }} - run: ${{ contains(needs.*.result, 'failure') && 'false' || 'true' }}
publish-docs: publish-docs:
needs: document needs: document
if: github.repository == 'amaranth-lang/amaranth' if: ${{ github.repository == 'amaranth-lang/amaranth' }}
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
- name: Check out source code - name: Check out source code
uses: actions/checkout@v3 uses: actions/checkout@v4
with: with:
fetch-depth: 0 fetch-depth: 0
- name: Download documentation archive - name: Download documentation archive
uses: actions/download-artifact@v3 uses: actions/download-artifact@v4
with: with:
name: docs name: docs
path: docs/ path: docs/
- name: Publish development documentation - name: Publish development documentation
if: github.event_name == 'push' && github.event.ref == 'refs/heads/main' if: ${{ github.event_name == 'push' && github.event.ref == 'refs/heads/main' }}
uses: JamesIves/github-pages-deploy-action@releases/v4 uses: JamesIves/github-pages-deploy-action@releases/v4
with: with:
repository-name: amaranth-lang/amaranth-lang.github.io repository-name: amaranth-lang/amaranth-lang.github.io
@ -116,7 +116,7 @@ jobs:
folder: docs/ folder: docs/
target-folder: docs/amaranth/latest/ target-folder: docs/amaranth/latest/
- name: Publish release documentation - name: Publish release documentation
if: github.event_name == 'push' && startsWith(github.event.ref, 'refs/tags/v') if: ${{ github.event_name == 'push' && startsWith(github.event.ref, 'refs/tags/v') }}
uses: JamesIves/github-pages-deploy-action@releases/v4 uses: JamesIves/github-pages-deploy-action@releases/v4
with: with:
repository-name: amaranth-lang/amaranth-lang.github.io repository-name: amaranth-lang/amaranth-lang.github.io
@ -127,15 +127,15 @@ jobs:
publish-docs-dev: publish-docs-dev:
needs: document needs: document
if: github.repository != 'amaranth-lang/amaranth' if: ${{ github.repository != 'amaranth-lang/amaranth' }}
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
- name: Check out source code - name: Check out source code
uses: actions/checkout@v3 uses: actions/checkout@v4
with: with:
fetch-depth: 0 fetch-depth: 0
- name: Download documentation archive - name: Download documentation archive
uses: actions/download-artifact@v3 uses: actions/download-artifact@v4
with: with:
name: docs name: docs
path: pages/docs/${{ github.ref_name }}/ path: pages/docs/${{ github.ref_name }}/