From 48245ee6dc7d2cddcdd4295ac81c47d568a312ed Mon Sep 17 00:00:00 2001
From: EduardoLR10 <dudulr10@gmail.com>
Date: Thu, 12 Oct 2023 16:05:28 -0300
Subject: [PATCH] Configure setup-racket to v1.7

---
 .github/workflows/ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 5456708..fe05a40 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -15,13 +15,13 @@ jobs:
             experimental: true
     steps:
       - uses: actions/checkout@v2
-      - uses: Bogdanp/setup-racket@v1.10
+      - uses: Bogdanp/setup-racket@v1.7
         with:
           architecture: x64
           distribution: full
           variant: ${{ matrix.racket-variant }}
           version: ${{ matrix.racket-version }}
       - name: Installing dependencies
-        run: raco pkg install
+        run: raco pkg install --auto
       - name: Checking compilation
         run: raco exe --gui main.rkt