dongarandClaude Opus 5.5
9f38e7a467
CI / checks (push) Skipped
CI / checks (pull_request) Successful in 1m18s
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01PPQ14L3LikyefCMFBqEbKE
13 lines
141 B
Plaintext
13 lines
141 B
Plaintext
.env
|
|
.venv/
|
|
__pycache__/
|
|
*.pyc
|
|
*.egg-info/
|
|
.pytest_cache/
|
|
.ruff_cache/
|
|
dist/
|
|
nisse-dev.yaml
|
|
|
|
# Apalache output (quint verify)
|
|
_apalache-out/
|