From c53e1f2afaa43e6ba67a56142434215744d2047b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mos=C3=A8=20Giordano?=
 <765740+giordano@users.noreply.github.com>
Date: Wed, 6 Nov 2024 14:15:41 +0000
Subject: [PATCH] [GHA] Explicitly install Julia for whitespace workflow
 (#56468)

So far we relied on the fact that Julia comes in the default Ubuntu
images on GitHub Actions runners, but this may change in the future
(although there's apparently no plan in this direction for the time
being). To make the workflow more future-proof, we now explicitly
install Julia using a dedicated workflow.
---
 .github/workflows/Whitespace.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/Whitespace.yml b/.github/workflows/Whitespace.yml
index 5706f6148dc33c..37c9dbfd39a3cd 100644
--- a/.github/workflows/Whitespace.yml
+++ b/.github/workflows/Whitespace.yml
@@ -18,6 +18,9 @@ jobs:
         uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 # v4.1.7
         with:
           persist-credentials: false
+      - uses: julia-actions/setup-julia@9b79636afcfb07ab02c256cede01fe2db6ba808c # v2.6.0
+        with:
+          version: '1'
       - name: Check whitespace
         run: |
           contrib/check-whitespace.jl