diff options
| author | Fabian Mastenbroek <fmastenbroek@meta.com> | 2023-01-06 14:41:33 +0100 |
|---|---|---|
| committer | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2023-01-07 21:55:56 +0000 |
| commit | 0c0a823fec1e67be6f9e72c0c790636f364f8b23 (patch) | |
| tree | 881bf32b4eaae92a4e2aa53a662f2e8f37d61aa4 /.github/workflows/pages.yml | |
| parent | be6ec3bbdff8f7c8f625506b77c7586ee2ad5eb5 (diff) | |
ci: Pin version of GitHub Actions runner images
This change pins the versions of the GitHub Actions runner images used
by our workflows to prevent regressions when the latest Ubuntu/Windows
image is updated.
Diffstat (limited to '.github/workflows/pages.yml')
| -rw-r--r-- | .github/workflows/pages.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml index cfc91f8e..cb628832 100644 --- a/.github/workflows/pages.yml +++ b/.github/workflows/pages.yml @@ -14,7 +14,7 @@ jobs: defaults: run: working-directory: site - runs-on: ubuntu-latest + runs-on: ubuntu-22.04 steps: - name: Checkout uses: actions/checkout@v3 @@ -50,7 +50,7 @@ jobs: environment: name: github-pages url: ${{ steps.deployment.outputs.page_url }} - runs-on: ubuntu-latest + runs-on: ubuntu-22.04 steps: - name: Deploy to GitHub Pages id: deployment |