Merge pull request #1670 from bjjwwang/master

upload only x86 performance stats
SVF-tools · Feb 25, 2025 · 11b3cf4 · 11b3cf4
2 parents fcd3e79 + 3a31686
commit 11b3cf4
Showing 1 changed file with 25 additions and 21 deletions.
diff --git a/.github/workflows/svf-lib_publish.yml b/.github/workflows/svf-lib_publish.yml
@@ -71,19 +71,21 @@ jobs:
           runner.os == 'Linux' &&
           github.ref == 'refs/heads/master'
         run: |
-          cd $GITHUB_WORKSPACE
-          echo $(pwd)
-          git status
-          git add .
-          if [ -n "$(git status -s)" ]; then git commit -m"SVF code formatter"; fi
-          git push https://yuleisui:${{secrets.yulei_git_key}}@github.com/SVF-tools/SVF.git   HEAD:master
-          cd $GITHUB_WORKSPACE/docs && doxygen doxygen.config
-          cd $GITHUB_WORKSPACE  && git clone https://github.com/SVF-tools/SVF-doxygen.git
-          cp -r $GITHUB_WORKSPACE/docs/generated-doc/html $GITHUB_WORKSPACE/SVF-doxygen/
-          cd $GITHUB_WORKSPACE/SVF-doxygen
-          git add .
-          if [ -n "$(git status -s)" ]; then git commit -m"update SVF doxygen"       ; fi
-          git push https://yuleisui:${{secrets.yulei_git_key}}@github.com/SVF-tools/SVF-doxygen.git   HEAD:master
+          if [ "$(uname -m)" == "x86_64" ]; then
+            cd $GITHUB_WORKSPACE
+            echo $(pwd)
+            git status
+            git add .
+            if [ -n "$(git status -s)" ]; then git commit -m"SVF code formatter"; fi
+            git push https://yuleisui:${{secrets.yulei_git_key}}@github.com/SVF-tools/SVF.git   HEAD:master
+            cd $GITHUB_WORKSPACE/docs && doxygen doxygen.config
+            cd $GITHUB_WORKSPACE  && git clone https://github.com/SVF-tools/SVF-doxygen.git
+            cp -r $GITHUB_WORKSPACE/docs/generated-doc/html $GITHUB_WORKSPACE/SVF-doxygen/
+            cd $GITHUB_WORKSPACE/SVF-doxygen
+            git add .
+            if [ -n "$(git status -s)" ]; then git commit -m"update SVF doxygen"       ; fi
+            git push https://yuleisui:${{secrets.yulei_git_key}}@github.com/SVF-tools/SVF-doxygen.git   HEAD:master
+          fi
 
       # update performance testing to Test-Suite
       - name: upload-performance-testing-to-Test-Suite
@@ -94,14 +96,16 @@ jobs:
           runner.os == 'Linux' &&
           github.ref == 'refs/heads/master'
         run: |
-          ctest -R diff-perf-cruxbc -VV
-          git pull
-          cp -r ${{github.workspace}}/Release-build/Testing/Temporary/LastTest.log $GITHUB_WORKSPACE/Test-Suite/diff_tests/perf_history/perf-$(date +'%Y-%m-%dT%H:%M:%S').txt
-          cp -r ${{github.workspace}}/Release-build/Testing/Temporary/LastTest.log $GITHUB_WORKSPACE/Test-Suite/diff_tests/perf-latest.txt
-          cd $GITHUB_WORKSPACE/Test-Suite/diff_tests
-          git add .
-          if [ -n "$(git status -s)" ]; then git commit -m"update latest SVF performance data"       ; fi
-          git push https://yuleisui:${{secrets.yulei_git_key}}@github.com/SVF-tools/Test-Suite.git   HEAD:master
+          if [ "$(uname -m)" == "x86_64" ]; then
+            ctest -R diff-perf-cruxbc -VV
+            git pull
+            cp -r ${{github.workspace}}/Release-build/Testing/Temporary/LastTest.log $GITHUB_WORKSPACE/Test-Suite/diff_tests/perf_history/perf-$(date +'%Y-%m-%dT%H:%M:%S').txt
+            cp -r ${{github.workspace}}/Release-build/Testing/Temporary/LastTest.log $GITHUB_WORKSPACE/Test-Suite/diff_tests/perf-latest.txt
+            cd $GITHUB_WORKSPACE/Test-Suite/diff_tests
+            git add .
+            if [ -n "$(git status -s)" ]; then git commit -m"update latest SVF performance data"       ; fi
+            git push https://yuleisui:${{secrets.yulei_git_key}}@github.com/SVF-tools/Test-Suite.git   HEAD:master
+          fi
 
       # update-svf-lib
       - name: update-svf-lib