diff options
| author | Tim Rogers <[email protected]> | 2025-02-11 16:57:13 -0500 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-02-11 16:57:13 -0500 |
| commit | 68e1cd30efaecbd71b496822f9d88a5803b33841 (patch) | |
| tree | 3b5b83d6444a5c406f9d1f8cb9c08352f7aa8252 | |
| parent | aa505b8436b248f0438fa5f8ebf68070612f5ff2 (diff) | |
Update main.yml
Turning off the format code for now. Currently, set up to run on an internal cluster. Needs testing on docker.
| -rw-r--r-- | .github/workflows/main.yml | 36 |
1 files changed, 18 insertions, 18 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 8e0ae23..954b98f 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -84,22 +84,22 @@ jobs: - uses: actions/checkout@v4 - name: Run Simulation run: /bin/bash $GITHUB_WORKSPACE/short-tests.sh - format-code: - if: github.event_name == 'pull_request' - runs-on: tgrogers-raid - needs: [build-TITANV, build-TITANV-LOCALXBAR, build-QV100, build-2060, build-3070] - steps: - - uses: actions/checkout@v4 - with: - ref: ${{github.event.pull_request.head.ref}} - repository: ${{github.event.pull_request.head.repo.full_name}} - ssh-key: '' + #format-code: + # if: github.event_name == 'pull_request' + # runs-on: tgrogers-raid + # needs: [build-TITANV, build-TITANV-LOCALXBAR, build-QV100, build-2060, build-3070] + # steps: + # - uses: actions/checkout@v4 + # with: + # ref: ${{github.event.pull_request.head.ref}} + # repository: ${{github.event.pull_request.head.repo.full_name}} + # ssh-key: '' - - name: Run clang-format - run: | - git config user.name "purdue-jenkins" - git config user.email "[email protected]" - git remote set-url origin [email protected]:${{github.event.pull_request.head.repo.full_name}} - git remote -v - /bin/bash ./format-code.sh - if git status --untracked-files=no | grep -q "nothing to commit"; then echo "No changes to commit."; else git commit -a -m "Automated Format"; git push; fi + # - name: Run clang-format + # run: | + # git config user.name "purdue-jenkins" + # git config user.email "[email protected]" + # git remote set-url origin [email protected]:${{github.event.pull_request.head.repo.full_name}} + # git remote -v + # /bin/bash ./format-code.sh + # if git status --untracked-files=no | grep -q "nothing to commit"; then echo "No changes to commit."; else git commit -a -m "Automated Format"; git push; fi |