From 07e025664bc786aa1324d0b86a50e4a06b3847ed Mon Sep 17 00:00:00 2001 From: Paul Donald Date: Wed, 31 Jan 2024 03:57:34 +0100 Subject: [PATCH] house-keeping: migrate workflows from GitHub deprecated node16 -> node20 GitHub currently warns with: Annotations 1 warning build Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/. --- .github/workflows/build.yml | 2 +- .github/workflows/formal.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 94273311c4..d7179a01f4 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -15,7 +15,7 @@ jobs: target: x86-64 steps: - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 with: fetch-depth: 0 diff --git a/.github/workflows/formal.yml b/.github/workflows/formal.yml index 607585b923..3bd8d37f23 100644 --- a/.github/workflows/formal.yml +++ b/.github/workflows/formal.yml @@ -11,7 +11,7 @@ jobs: fail-fast: false steps: - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 with: ref: ${{ github.event.pull_request.head.sha }} fetch-depth: 0 -- 2.30.2