From dd0c27d4f00dfa0431cd0ec14b9a65eadcff7d90 Mon Sep 17 00:00:00 2001
From: SharzyL <me@sharzy.in>
Date: Tue, 21 May 2024 00:10:23 +0800
Subject: [PATCH] [ci] remove usage of all-configs.json

---
 .github/workflows/pr.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
index fb7111585..c51e3044f 100644
--- a/.github/workflows/pr.yml
+++ b/.github/workflows/pr.yml
@@ -95,7 +95,7 @@ jobs:
           ref: ${{ github.event.pull_request.head.sha }}
       - name: "Test elaborate"
         run: |
-          configArray=( $(jq -r '.configs[]' configgen/all-configs.json) )
+          configArray=( $(ls configgen/generated | sed 's/\.json$//') )
           for cfg in "${configArray[@]}"; do
             echo "Building .#t1.${cfg}.ip.rtl"
             if ! nix build ".#t1.${cfg}.ip.rtl" -L; then