From f5ebf22f701b6c4c82eb836094ab346c5de0d1bc Mon Sep 17 00:00:00 2001
From: Diego Ortin <dieortin@gmail.com>
Date: Sat, 10 Feb 2024 22:24:53 +0100
Subject: [PATCH] ci: remove bazelisk installation step

Bazelisk is included in the Github Actions runner, so we don't need to download it ourselves.
---
 .github/workflows/main.yml | 9 ---------
 1 file changed, 9 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 563425d..894b75e 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -4,15 +4,6 @@ jobs:
   build_tutorial:
     runs-on: ubuntu-latest
     steps:
-      - name: Download Bazelisk
-        run: sudo curl -Lo /usr/local/bin/bazel https://github.com/bazelbuild/bazelisk/releases/download/v1.19.0/bazelisk-linux-amd64
-
-      - name: Make Bazelisk executable
-        run: sudo chmod +x /usr/local/bin/bazel
-
-      - name: Verify Bazelisk installation
-        run: bazel --version
-
       - name: Install OS library dependencies
         run: sudo apt-get install -y libsasl2-dev libssl-dev libsnappy-dev libzstd-dev