forked from ChelseaKR/obligation-receipts
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathMakefile
More file actions
31 lines (22 loc) · 874 Bytes
/
Copy pathMakefile
File metadata and controls
31 lines (22 loc) · 874 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
.PHONY: install format lint type test verify package-check benchmark demo
install:
uv sync
format:
uv run ruff format .
lint:
uv run ruff format --check .
uv run ruff check .
type:
uv run mypy
test:
uv run pytest
verify: lint type test
package-check:
uv build
uv run python scripts/check_wheel.py dist
benchmark:
uv run python scripts/benchmark_m0.py
demo:
uv run obligation-receipts validate examples/accessibility-acceptance/obligations.toml
uv run obligation-receipts evaluate examples/accessibility-acceptance/obligations.toml --evidence-root examples/accessibility-acceptance/evidence --out examples/accessibility-acceptance/out/receipt.json
uv run obligation-receipts verify examples/accessibility-acceptance/out/receipt.json --manifest examples/accessibility-acceptance/obligations.toml --evidence-root examples/accessibility-acceptance/evidence