1
0
mirror of synced 2026-08-05 06:56:56 +00:00

chore: drop api.json from repo, generate instead (#133)

This commit is contained in:
Yury Semikhatsky
2020-12-15 14:06:32 -08:00
committed by GitHub
parent 0485994691
commit 8e750e58df
5 changed files with 52 additions and 3 deletions
+43
View File
@@ -0,0 +1,43 @@
name: Verify API
on:
push:
branches: [ master ]
paths:
- 'scripts/*'
- 'api-generator/*'
pull_request:
branches: [ master ]
paths:
- 'scripts/**'
- 'api-generator/**'
jobs:
verify:
timeout-minutes: 30
strategy:
fail-fast: true
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Cache Maven packages
uses: actions/cache@v2
with:
path: ~/.m2
key: ${{ runner.os }}-m2-${{ hashFiles('**/pom.xml') }}
restore-keys: ${{ runner.os }}-m2
- name: Cache Downloaded Drivers
uses: actions/cache@v2
with:
path: driver-bundle/src/main/resources/driver
key: ${{ runner.os }}-drivers-${{ hashFiles('scripts/*') }}
restore-keys: ${{ runner.os }}-drivers
- name: Download drivers
run: scripts/download_driver_for_all_platforms.sh
- name: Regenerate APIs
run: scripts/generate_api.sh
- name: Verify API is up to date
run: |
if [[ -n $(git status -s) ]]; then
echo "ERROR: generated interfaces differ from the current sources:"
git diff
exit 1
fi