batch with half #6833
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: OnSyncPR | |
| on: | |
| pull_request_target: | |
| types: [opened,synchronize] | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.event.pull_request.number }} | |
| cancel-in-progress: true | |
| jobs: | |
| check-format: | |
| if: github.event.pull_request.author_association == 'COLLABORATOR' || github.event.pull_request.author_association == 'MEMBER' || github.event.pull_request.author_association == 'OWNER' | |
| uses: ./.github/workflows/check-formatting.yml | |
| secrets: inherit | |
| abidiff: | |
| runs-on: ubuntu-latest | |
| if: github.event.pull_request.author_association == 'COLLABORATOR' || github.event.pull_request.author_association == 'MEMBER' || github.event.pull_request.author_association == 'OWNER' | |
| env: | |
| CMAKE_FLAGS: -DBUILD_SHARED_LIBS=ON -DCMAKE_BUILD_TYPE=DEBUG -DGINKGO_BUILD_TESTS=OFF -DGINKGO_BUILD_EXAMPLES=OFF -DGINKGO_BUILD_BENCHMARKS=OFF -DGINKGO_BUILD_HWLOC=OFF -DGINKGO_BUILD_REFERENCE=OFF -DGINKGO_BUILD_OMP=OFF -DGINKGO_BUILD_CUDA=OFF -DGINKGO_BUILD_HIP=OFF -DGINKGO_BUILD_SYCL=OFF | |
| steps: | |
| - name: Checkout the new code (shallow clone) | |
| uses: actions/checkout@v4 | |
| with: | |
| path: new | |
| ref: ${{ github.event.pull_request.head.ref }} | |
| - name: Checkout the old code (shallow clone) | |
| uses: actions/checkout@v4 | |
| with: | |
| path: old | |
| ref: ${{ github.event.pull_request.base.ref }} | |
| - name: Install abidiff | |
| run: sudo apt-get install abigail-tools | |
| - name: Build both libraries | |
| run: | | |
| mkdir build-new | |
| mkdir build-old | |
| cmake -B build-new new ${{ env.CMAKE_FLAGS }} | |
| cmake -B build-old old ${{ env.CMAKE_FLAGS }} | |
| cmake --build build-new -j`nproc` | |
| cmake --build build-old -j`nproc` | |
| - name: Compute abidiff | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.BOT_TOKEN }} | |
| run: old/.github/abidiff.sh | |
| - name: Upload ABI diff | |
| if: failure() | |
| uses: actions/upload-artifact@v3 | |
| with: | |
| name: abi | |
| path: abi.diff | |
| check-wiki-changelog: | |
| runs-on: ubuntu-latest | |
| if: github.event.pull_request.author_association == 'COLLABORATOR' || github.event.pull_request.author_association == 'MEMBER' || github.event.pull_request.author_association == 'OWNER' | |
| steps: | |
| - name: Checkout the latest code (shallow clone) | |
| uses: actions/checkout@v4 | |
| with: | |
| ref: develop | |
| - name: Check if PR number exists in wiki/Changelog | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.BOT_TOKEN }} | |
| run: .github/check-wiki-changelog.sh |