From 6e0bd775e5361e7d5a569ebfee87497a6f416d5c Mon Sep 17 00:00:00 2001 From: marwaneltoukhy Date: Sun, 8 Oct 2023 14:57:09 +0300 Subject: [PATCH] added CI for defaults updating --- .github/workflows/update_defaults.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/update_defaults.yaml b/.github/workflows/update_defaults.yaml index 30f18e2..7cd9d85 100644 --- 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