Files
syntax-dag-transformer/.gitea/workflows/verify.yaml
T
codex-bot 218f25290b
Verify syntax DAG / verify (push) Failing after 1s
Prototype causal rewriting with a syntax DAG
2026-11-04 16:34:06 +08:00

14 lines
445 B
YAML

name: Verify syntax DAG
on: [push, pull_request]
jobs:
verify:
runs-on: ubuntu24.04-x64-lean4.35
steps:
- uses: https://github.com/actions/checkout@v4
- name: Install wheels in an isolated environment
run: |
python3 -m venv .venv
.venv/bin/python -m pip install --only-binary=:all: -r requirements.txt
- name: Verify graph commits and decoding
run: .venv/bin/python -m unittest -v