try git variables

PhilippNauck · Aug 6, 2024 · 3b8b09b · 3b8b09b
1 parent 60a0d88
commit 3b8b09b
Showing 1 changed file with 5 additions and 7 deletions.
diff --git a/.github/workflows/drc.yml b/.github/workflows/drc.yml
@@ -54,7 +54,7 @@ jobs:
             -   name: drc
                 run: |
                     klayout -v
-                    export KLAYOUT_HOME=/home/runner/work/IHP-Open-DesignLib/IHP-Open-DesignLib/Open-PDK/ihp-sg13g2/libs.tech/klayout/tech klayout
+                    export KLAYOUT_HOME=/home/runner/work/IHP-Open-DesignLib/IHP-Open-DesignLib/Open-PDK/${{ vars.KLAYOUT_HOME }} klayout
                     result=true;
                     for file in ${{ steps.changed-files.outputs.all_changed_files }}; do
                         echo "$file was changed"
@@ -63,7 +63,6 @@ jobs:
                             echo "Run DRC for $file";
                             path=/home/runner/work/IHP-Open-DesignLib/IHP-Open-DesignLib/${file};
                             OUTPUT=$(klayout -b -r /home/runner/work/IHP-Open-DesignLib/IHP-Open-DesignLib/Open-PDK/ihp-sg13g2/libs.tech/klayout/tech/drc/sg13g2_minimal.lydrc -rd "in_gds"="${path}")
-                            echo $OUTPUT
 
                             re="Number of DRC errors: [0-9]+"
                             if [[ $OUTPUT =~ $re ]]; then
@@ -72,22 +71,21 @@ jobs:
                                 if [[ $BASH_REMATCH =~ $NumberRe ]]; then 
                                     if (($BASH_REMATCH == 0))
                                     then 
-                                        echo "pass";
+                                        echo "DRC pass";
                                     else
-                                        echo "fail";
+                                        echo "DRC fail";
                                         result=false;
                                     fi
                                 else 
-                                    echo "fail";
+                                    echo "DRC fail";
                                     result=false;
                                 fi
                             else
-                                echo "fail";
+                                echo "DRC fail";
                                 result=false;
                             fi
                         fi
                     done
-                    echo $result
                     if !$result then
                         exit 130;
                     if