From 142fcbea50422161585ac98d2e9df3687294b7ea Mon Sep 17 00:00:00 2001
From: Nicolas Richart <nicolas.richart@epfl.ch>
Date: Tue, 18 Jun 2024 15:19:44 +0200
Subject: [PATCH] typo for version 1.16

---
 ci/install_compilers.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/ci/install_compilers.sh b/ci/install_compilers.sh
index a6d3d04..09c4b53 100755
--- a/ci/install_compilers.sh
+++ b/ci/install_compilers.sh
@@ -75,9 +75,10 @@ done
 
 export target=$(jq -Mrc '
 .stack.targets
- | to_entries.[]
+ | to_entries
+ | .[]
  | select(.key == env.environment)
- |.value' ${STACK_CONFIG})
+ | .value' ${STACK_CONFIG})
 
 compilers_specs=$(jq -Mr '
 .stack
-- 
GitLab