forked from goblint/analyzer
-
Notifications
You must be signed in to change notification settings - Fork 0
36 lines (27 loc) · 923 Bytes
/
options.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
name: options
on:
push:
pull_request:
jobs:
validate-conf:
strategy:
matrix:
node-version:
- 14
runs-on: ubuntu-latest
steps:
- name: Checkout code
uses: actions/checkout@v3
- name: Set up Node.js ${{ matrix.node-version }}
uses: actions/setup-node@v3
with:
node-version: ${{ matrix.node-version }}
- name: Install ajv-cli
run: npm install -g ajv-cli
- name: Work around meta-schema missing error # https://github.com/ajv-validator/ajv-cli/issues/199
run: |
sed -i 's|"$schema": "http://json-schema.org/draft-04/schema#",||' src/util/options.schema.json
- name: Validate conf
run: ajv validate -s src/util/options.schema.json -d "conf/*.json"
- name: Validate incremental tests
run: ajv validate -s src/util/options.schema.json -d "tests/incremental/*/*.json"