[ci,abi] rename working directory

since the old working directory checker had been accidentally checked in
use a new one to avoid clashes during build.
This commit is contained in:
akallabeth 2024-09-26 10:15:48 +02:00
parent 776b0e68b5
commit 3e09d4cfc1
No known key found for this signature in database
GPG Key ID: A49454A3FC909FD5
2 changed files with 7 additions and 6 deletions

View File

@ -85,11 +85,11 @@ jobs:
- name: "Prepare configuration"
run: |
mkdir -p checker
cp ci/cmake-preloads/config-abi.txt checker/
cp scripts/abi-suppr.txt checker/
curl https://gist.githubusercontent.com/akallabeth/aa35caed0d39241fa17c3dc8a0539ea3/raw/ef12f8c720ac6be51aa1878710e2502b1b39cf4c/check-abi -o checker/check-abi
chmod +x checker/check-abi
mkdir -p abi-checker
cp ci/cmake-preloads/config-abi.txt abi-checker/
cp scripts/abi-suppr.txt abi-checker/
curl https://gist.githubusercontent.com/akallabeth/aa35caed0d39241fa17c3dc8a0539ea3/raw/ef12f8c720ac6be51aa1878710e2502b1b39cf4c/check-abi -o abi-checker/check-abi
chmod +x abi-checker/check-abi
echo "GITHUB_BASE_REF=$GITHUB_BASE_REF"
echo "GITHUB_HEAD_REF=$GITHUB_HEAD_REF"
echo "API_BASE_REF=${{ inputs.API_BASE_REF || '3.0.0' }}"
@ -101,4 +101,4 @@ jobs:
BASE_REF: ${{ github.event_name == 'pull_request' && github.event.pull_request.base.sha || github.event_name == 'pull_request' && github.event.pull_request.base.sha || github.event_name == 'workflow_dispatch' && inputs.API_BASE_REF || '3.0.0' }}
run: |
echo "BASE_REF=$BASE_REF"
./checker/check-abi -s checker/abi-suppr.txt --parameters="-Cchecker/config-abi.txt" $BASE_REF $(git rev-parse HEAD)
./abi-checker/check-abi -s abi-checker/abi-suppr.txt --parameters="-Cabi-checker/config-abi.txt" $BASE_REF $(git rev-parse HEAD)

1
.gitignore vendored
View File

@ -2,3 +2,4 @@
**/CMakeFiles
build
checker
abi-checker