File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 5656 env :
5757 TECHAPI_COMMENT_ID : ${{ github.event.client_payload.comment_id }}
5858
59+ - name : Checkout TechEngine
60+ uses : actions/checkout@v4
61+
5962 - name : Checkout TechAPI PR head
6063 uses : actions/checkout@v4
6164 with :
@@ -67,15 +70,21 @@ jobs:
6770 - uses : actions/setup-python@v5
6871 with :
6972 python-version : " 3.12"
73+ cache : pip
7074
71- # app.verify is a stdlib-only TechAPI module; run it from the checkout.
72- # mode=tier0 (auto PR report): fast offline Tier 0 only (changed + baseline).
73- # mode=all (/verify on demand): `pr` runs Tiers 0-3 (3 = promotion DRY-RUN).
75+ - name : Install TechEngine
76+ run : pip install -e .
77+
78+ # app.verify now lives in TechEngine; run it from the engine root with
79+ # TECHAPI_DATA_DIR pointing at the TechAPI checkout (its `_changed_data_slugs`
80+ # runs git inside that data repo). mode=tier0 = fast offline Tier 0 (auto PR
81+ # report); mode=all = `pr` Tiers 0-3 (3 = promotion DRY-RUN).
7482 - name : Run verification
7583 id : verify
84+ env :
85+ TECHAPI_DATA_DIR : ${{ github.workspace }}/TechAPI/data
7686 run : |
77- cd TechAPI
78- git fetch origin main --depth=1 || true
87+ git -C TechAPI fetch origin main --depth=1 || true
7988 {
8089 echo 'report<<VERIFY_EOF'
8190 if [ "${MODE}" = "tier0" ]; then
You can’t perform that action at this time.
0 commit comments