Skip to content

clean unused sycl version switch and change the badge #6359

clean unused sycl version switch and change the badge

clean unused sycl version switch and change the badge #6359

Workflow file for this run

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