File tree Expand file tree Collapse file tree 3 files changed +8
-6
lines changed Expand file tree Collapse file tree 3 files changed +8
-6
lines changed Original file line number Diff line number Diff line change @@ -19,6 +19,6 @@ git clone --recursive https://github.com/mercury-hpc/mercury.git
1919cd mercury
2020git checkout v2.2.0
2121mkdir build && cd build
22- cmake ../ -DCMAKE_C_COMPILER=gcc -DBUILD_SHARED_LIBS=ON -DBUILD_TESTING=ON -DNA_USE_OFI=ON -DNA_USE_SM=OFF -DMERCURY_USE_CHECKSUMS=OFF -DNA_OFI_TESTING_PROTOCOL=sockets
22+ cmake ../ -DCMAKE_C_COMPILER=gcc -DBUILD_SHARED_LIBS=ON -DBUILD_TESTING=ON -DNA_USE_OFI=ON -DNA_USE_SM=OFF -DMERCURY_USE_CHECKSUMS=OFF -DNA_OFI_TESTING_PROTOCOL=sockets -DCMAKE_POLICY_VERSION_MINIMUM=3.5
2323make -j2 && sudo make install
2424ctest
Original file line number Diff line number Diff line change 2222
2323 - name : Update branch
2424 run : |
25- git fetch stable
25+ git fetch origin stable
2626 git remote add gitlab https://${{ secrets.GITLAB_TOKEN_NAME }}:${{ secrets.GITLAB_TOKEN }}@${{ secrets.GITLAB_URL }}
2727 git checkout stable
2828 git push -f gitlab -u stable
Original file line number Diff line number Diff line change 11name : NERSC
22
33on :
4- pull_request_target
4+ pull_request
55
66env :
77 PR_NUMBER : ${{ github.event.number }}
88
9+ concurrency :
10+ group : ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
11+ cancel-in-progress : true
12+
913jobs :
1014 authorize :
11- environment :
12- ${{ github.event_name == 'pull_request_target' && github.event.pull_request.head.repo.full_name != github.repository && 'external' || 'internal' }}
1315 runs-on : ubuntu-latest
1416 steps :
1517 - run : true
3537 git fetch origin pull/${PR_NUMBER}/head:PR-${PR_SHA}
3638 git remote add gitlab https://${{ secrets.GITLAB_TOKEN_NAME }}:${{ secrets.GITLAB_TOKEN }}@${{ secrets.GITLAB_URL }}
3739 git checkout PR-${PR_SHA}
38- git push -f gitlab -u PR-${PR_SHA}
40+ git push -f gitlab -u PR-${PR_SHA}
You can’t perform that action at this time.
0 commit comments