line count 18500 (#13191)

This commit is contained in:
chenyu
2025-11-10 10:52:13 -08:00
committed by GitHub
parent 09a59c2203
commit 60e55d9a2d

View File

@@ -290,8 +290,8 @@ jobs:
python extra/optimization/extract_dataset.py
gzip -c /tmp/sops > extra/datasets/sops.gz
#DEBUG=1 MIN_ASTS=1 python extra/optimization/get_action_space.py
- name: Repo line count < 18000 lines
run: MAX_LINE_COUNT=18000 python sz.py
- name: Repo line count < 18500 lines
run: MAX_LINE_COUNT=18500 python sz.py
spec:
strategy: