Fix dynamic cast leads the undefined symbol in clang/msys2/windows #6708
Workflow file for this run
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 |