From 88affaf9fb5c9f16d14fe2bb1befba242a816bc4 Mon Sep 17 00:00:00 2001
From: Thomas Pani <thomas.pani@gmail.com>
Date: Wed, 23 Aug 2023 19:10:30 +0200
Subject: [PATCH] Bump Node.js to v18 in GH workflows

Node.js 18 has been our required version since 9661448076be88eb34444afd0bdc4df73f86d007.

Fixes an issue with octokit not finding a global `fetch()`.
---
 .github/workflows/main.yml | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 7a3e869a1..8162bce98 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -25,7 +25,7 @@ jobs:
       - uses: actions/checkout@v2
       - uses: actions/setup-node@v2
         with:
-          node-version: "17"
+          node-version: "18"
       - run: npm install
       - run: npm run format-check || (echo "Run 'npm run format'" && exit 1)
 
@@ -40,7 +40,7 @@ jobs:
       - uses: actions/checkout@v2
       - uses: actions/setup-node@v2
         with:
-          node-version: "17"
+          node-version: "18"
       - run: npm install
       - run: npm run format-check || (echo "Run 'npm run format'" && exit 1)
 
@@ -57,7 +57,7 @@ jobs:
       - uses: actions/checkout@v2
       - uses: actions/setup-node@v2
         with:
-          node-version: "17"
+          node-version: "18"
       - run: npm install
       - run: npm run compile
       - run: npm test
@@ -73,7 +73,7 @@ jobs:
       - uses: actions/checkout@v2
       - uses: actions/setup-node@v2
         with:
-          node-version: "17"
+          node-version: "18"
       - run: npm install
       - name: Compile and update test fixtures
         run: npm run generate
@@ -92,7 +92,7 @@ jobs:
       - uses: actions/checkout@v2
       - uses: actions/setup-node@v2
         with:
-          node-version: "17"
+          node-version: "18"
       - run: cd ./quint && npm ci
       - run: cd ./quint && npm run compile && npm link
       - name: Ensure all dependencies are specified
@@ -139,7 +139,7 @@ jobs:
       - uses: actions/checkout@v2
       - uses: actions/setup-node@v2
         with:
-          node-version: "17"
+          node-version: "18"
       - run: cd ./quint && npm ci
       - run: cd ./quint && npm run compile && npm link
       - name: Ensure all dependencies are specified
@@ -176,7 +176,7 @@ jobs:
       - uses: actions/checkout@v2
       - uses: actions/setup-node@v2
         with:
-          node-version: "17"
+          node-version: "18"
       - run: cd ./quint && npm install
       - run: cd ./quint && npm run antlr
 
@@ -190,7 +190,7 @@ jobs:
       - uses: actions/checkout@v2
       - uses: actions/setup-node@v2
         with:
-          node-version: "17"
+          node-version: "18"
       - name: Install quint deps
         run: cd ./quint && npm install
       - name: Install yalc