Skip to content

Commit

Permalink
Bump pipeline dependencies (#1250)
Browse files Browse the repository at this point in the history
Due to deprecations with the GitHub API, some of our pipeline
dependencies have started failing today, and more will tomorrow. I'm
taking the opportunity do to some midwinter cleaning and updating all of
our dependencies. Here's the homework I've done, from most to least
important:


- `actions/upload-pages-artifact@v3` updates to `upload-artifact@v4`
(broke today) and removes a builtin `chmod` command we don't use
- `actions/deploy-pages@v4` updates to `upload-artifact@v4` (broke
today), updates to Node20
- `actions/cargo-install@v>=3.2` update to new GitHub API (otherwise
breaks tomorrow)
- `actions/configure-pages@v5` swaps to Next.js 13.3 and newer, updates
to Node20
- `actions/cache@v4` updates to Node20
- `actions/checkout@v4` updates to Node20
- `actions/actions-mdbook@v3` updates to Node20
- `actions/setup-python@v5` updates to Node20
- `pre-commit/[email protected]` updates dependency to `actions/cache@v4`

~Some input parameters have also been deprecated and removed, I don't
know if this will affect us yet.~ Since there are no warnings in our CI
logs that we are using deprecated input parameters, I'm assuming we're
good on this front.
fredrik-bakke authored Jan 30, 2025
1 parent 6caff32 commit 41b9165
Showing 4 changed files with 26 additions and 26 deletions.
26 changes: 13 additions & 13 deletions .github/workflows/ci.yaml
Original file line number Diff line number Diff line change
@@ -34,15 +34,15 @@ jobs:
agda: ['2.7.0']
steps:
- name: Checkout our repository
uses: actions/checkout@v3
uses: actions/checkout@v4
with:
path: master
- name: Setup Agda
uses: wenkokke/[email protected]
with:
agda-version: ${{ matrix.agda }}

- uses: actions/cache/restore@v3
- uses: actions/cache/restore@v4
id: cache-agda-formalization
name: Restore Agda formalization cache
with:
@@ -61,13 +61,13 @@ jobs:
make check
- name: Save Agda build cache
uses: actions/cache/save@v3
uses: actions/cache/save@v4
with:
path: master/_build
key: '${{ steps.cache-agda-formalization.outputs.cache-primary-key }}'

# Install Python and friends for website generation only where needed
- uses: actions/setup-python@v4
- uses: actions/setup-python@v5
if: ${{ matrix.os == 'ubuntu-latest' }}
with:
python-version: '3.8'
@@ -92,7 +92,7 @@ jobs:
# keep the same key for a branch and update it on pushes.
- name: Save pre-website cache
if: ${{ matrix.os == 'ubuntu-latest' }}
uses: actions/cache/save@v3
uses: actions/cache/save@v4
with:
key: pre-website-${{ github.run_id }}
path: master/docs
@@ -106,29 +106,29 @@ jobs:
actions: write
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: actions/checkout@v4
with:
path: master

- uses: peaceiris/actions-mdbook@v1
- uses: peaceiris/actions-mdbook@v2
with:
mdbook-version: '0.4.34'

- uses: baptiste0928/cargo-install@v2
- uses: baptiste0928/cargo-install@v3
with:
crate: mdbook-linkcheck
version: '0.7.7'

# Install Python and friends for website generation only where needed
- uses: actions/setup-python@v4
- uses: actions/setup-python@v5
with:
python-version: '3.8'
check-latest: true
cache: 'pip'

- run: python3 -m pip install -r master/scripts/requirements.txt

- uses: actions/cache/restore@v3
- uses: actions/cache/restore@v4
with:
key: pre-website-${{ github.run_id }}
path: master/docs
@@ -162,14 +162,14 @@ jobs:
pre-commit:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: actions/checkout@v4

- uses: actions/setup-python@v4
- uses: actions/setup-python@v5
with:
python-version: '3.8'
check-latest: true
cache: 'pip'

- run: python3 -m pip install -r scripts/requirements.txt

- uses: pre-commit/[email protected].0
- uses: pre-commit/[email protected].1
2 changes: 1 addition & 1 deletion .github/workflows/clean-up.yaml
Original file line number Diff line number Diff line change
@@ -9,7 +9,7 @@ jobs:
runs-on: ubuntu-latest
steps:
- name: Check out code
uses: actions/checkout@v3
uses: actions/checkout@v4

- name: Cleanup
run: |
22 changes: 11 additions & 11 deletions .github/workflows/pages.yaml
Original file line number Diff line number Diff line change
@@ -32,7 +32,7 @@ jobs:
id-token: write # to verify the deployment originates from an appropriate source
steps:
- name: Checkout our repository
uses: actions/checkout@v3
uses: actions/checkout@v4
with:
path: master
# We need the entire history for contributor information
@@ -43,7 +43,7 @@ jobs:
with:
agda-version: ${{ matrix.agda }}

- uses: actions/cache/restore@v3
- uses: actions/cache/restore@v4
id: cache-agda-formalization
name: Restore Agda formalization cache
with:
@@ -56,35 +56,35 @@ jobs:
# Keep versions in sync with the Makefile
- name: MDBook setup
uses: peaceiris/actions-mdbook@v1
uses: peaceiris/actions-mdbook@v2
with:
mdbook-version: '0.4.34'

- name: Install mdbook-pagetoc
uses: baptiste0928/cargo-install@v2
uses: baptiste0928/cargo-install@v3
with:
crate: mdbook-pagetoc
version: '0.1.7'

- name: Install mdbook-katex
uses: baptiste0928/cargo-install@v2
uses: baptiste0928/cargo-install@v3
with:
crate: mdbook-katex
version: '0.5.7'

- name: Install mdbook-linkcheck
uses: baptiste0928/cargo-install@v2
uses: baptiste0928/cargo-install@v3
with:
crate: mdbook-linkcheck
version: '0.7.7'

- name: Install mdbook-catppuccin
uses: baptiste0928/cargo-install@v2
uses: baptiste0928/cargo-install@v3
with:
crate: mdbook-catppuccin
version: '1.2.0'

- uses: actions/setup-python@v4
- uses: actions/setup-python@v5
with:
python-version: '3.8'
check-latest: true
@@ -100,21 +100,21 @@ jobs:
make website
- name: Setup Pages
uses: actions/configure-pages@v3
uses: actions/configure-pages@v5
if: >-
github.ref == 'refs/heads/master' || github.event_name ==
'workflow_dispatch'
- name: Upload artifact
uses: actions/upload-pages-artifact@v1
uses: actions/upload-pages-artifact@v3
if: >-
github.ref == 'refs/heads/master' || github.event_name ==
'workflow_dispatch'
with:
path: master/book/html

- name: Deploy to GitHub Pages
uses: actions/deploy-pages@v1
uses: actions/deploy-pages@v4
id: deployment
if: >-
github.ref == 'refs/heads/master' || github.event_name ==
2 changes: 1 addition & 1 deletion .github/workflows/profiling.yaml
Original file line number Diff line number Diff line change
@@ -19,7 +19,7 @@ jobs:

steps:
- name: Checkout our repository
uses: actions/checkout@v3
uses: actions/checkout@v4
with:
path: repo

0 comments on commit 41b9165

Please sign in to comment.