-
Notifications
You must be signed in to change notification settings - Fork 0
60 lines (48 loc) · 1.59 KB
/
Copy pathci.yml
File metadata and controls
60 lines (48 loc) · 1.59 KB
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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
name: CI
on:
push:
pull_request:
jobs:
workflow:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Set up Python
uses: actions/setup-python@v5
with:
python-version: '3.12'
- name: Validate converter syntax
run: python -m compileall container/sqlsmith_to_slt.py
- name: Build generator image
run: docker build -t sqlsmith-slt .
- name: Generate sample corpus
run: |
mkdir -p out
docker run --rm -v "${PWD}/out":/out \
-e SQLSMITH_PASS_TARGET=10 \
-e SQLSMITH_MAX_ERRORS=2 \
-e SQLSMITH_BATCH_QUERIES=50 \
sqlsmith-slt
- name: Verify corpus mix
run: |
python - <<'PY'
from pathlib import Path
import sys
out_dir = Path('out')
cases = sorted(out_dir.glob('case_*.test'))
if not cases:
sys.exit('no SQLLogicTest cases generated')
passes = errors = 0
for path in cases:
head = path.read_text().splitlines()[0].strip().lower()
if head.startswith('statement error'):
errors += 1
elif head.startswith('statement ok') or head.startswith('query '):
passes += 1
if passes < 10:
sys.exit(f'expected at least 10 passing cases, got {passes}')
if errors > 2:
sys.exit(f'expected <= 2 error cases, got {errors}')
print(f'cases={len(cases)} passes={passes} errors={errors}')
PY