File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1+ name : Correctness Check (nuitka)
2+
3+ on :
4+ push :
5+ pull_request :
6+
7+ jobs :
8+ build-test :
9+ runs-on : ubuntu-latest
10+
11+ steps :
12+ - name : Checkout
13+ uses : actions/checkout@v4
14+
15+ - name : Install uv
16+ uses : astral-sh/setup-uv@v6
17+ with :
18+ version : " 0.9.8"
19+
20+ - name : Set up Python
21+ run : uv python install
22+
23+ - name : Build with Nuitka # Workaround
24+ run : |
25+ uv export --no-hashes -o requirements.txt && \
26+ python -m venv .venv && \
27+ source .venv/bin/activate && \
28+ pip install -r requirements.txt && \
29+ nuitka --output-filename=partdiff main.py
30+
31+ - name : Clone partdiff_tester
32+ run : git clone https://github.com/parcio/partdiff_tester.git
33+
34+ - name : Run correctness check
35+ run : |
36+ cd partdiff_tester && \
37+ uv run pytest -n auto --verbose \
38+ --executable='./partdiff' \
39+ --cwd='../nuitka' \
40+ --strictness=4 \
41+ --shuffle=42 \
42+ --filter='o:{"lines": "0"}'
You can’t perform that action at this time.
0 commit comments