[ci] remove usage of all-configs.json

chipsalliance · May 21, 2024 · dd0c27d · dd0c27d
1 parent 84c93bc
commit dd0c27d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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