added CI for defaults updating

efabless · Oct 8, 2023 · 6e0bd77 · 6e0bd77
1 parent 8773880
commit 6e0bd77
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/update_defaults.yaml b/.github/workflows/update_defaults.yaml
@@ -33,7 +33,7 @@ jobs:
             curl -o $GITHUB_WORKSPACE/tmp_default_content/README.md -L https://raw.githubusercontent.com/efabless/$repo_name/main/README.md
             curl -o $GITHUB_WORKSPACE/tmp_default_content/gds/$gds_name.gds -L https://raw.githubusercontent.com/efabless/$repo_name/main/gds/$gds_name.gds
 
-            python3 $GITHUB_WORKSPACE/checks/defaults_check.py -i $GITHUB_WORKSPACE/tmp_default_content -d $GITHUB_WORKSPACE/_default_content -t ${{ matrix.design_types }} > $GITHUB_WORKSPACE/defaults.log
+            python3 $GITHUB_WORKSPACE/checks/defaults_check.py -i $GITHUB_WORKSPACE/tmp_default_content -d $GITHUB_WORKSPACE/_default_content -t ${{ matrix.design_types }} |tee $GITHUB_WORKSPACE/defaults.log
 
             cat $GITHUB_WORKSPACE/defaults.log