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/.

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 94273311c42e176785bdf9b1543e380e56111ae5..d7179a01f4136502e6c87c677ecd0789adbc83e0 100644 (file)
--- 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 607585b923191a525dd0b9c8c7cf6e409157f99f..3bd8d37f239b3ae6f84e6b61aa6bd2cd00d29ea9 100644 (file)
--- 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