21 lines
696 B
YAML
21 lines
696 B
YAML
name: Verify syntax DAG
|
|
on: [push, pull_request]
|
|
jobs:
|
|
verify:
|
|
runs-on: ubuntu24.04-x64-lean4.35
|
|
steps:
|
|
- name: Check out the revision with Git
|
|
env:
|
|
REPO_URL: ${{ github.server_url }}/${{ github.repository }}.git
|
|
REVISION: ${{ github.sha }}
|
|
run: |
|
|
git init .
|
|
git fetch --depth=1 "$REPO_URL" "$REVISION"
|
|
git checkout --detach FETCH_HEAD
|
|
- 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
|