chore: uv lock and tox updates (leanEthereum#81)

* chore: Use uv lock runner for tox, commit ``uv.lock`` file.

- Commit ``uv.lock`` file so that we can better track dependencies.
- Use ``uv.lock`` file and specify uv lock runner for tox. This also
  has an added benefit of not needing to run tox with ``--with=tox-uv``
  flag.

* chore: remove --with=tox-uv from examples; remove RELEASING.md for now

Author: fselmo

.github/PULL_REQUEST_TEMPLATE.md

@@ -9,7 +9,7 @@
 
 - [ ] Ran `tox` checks to avoid unnecessary CI fails:
     ```console
-    uvx --with=tox-uv tox
+    uvx tox -e all-checks,pytest
     ```
 - [ ] Considered adding appropriate tests for the changes.
 - [ ] Considered updating the online docs in the [./docs/](/leanEthereum/leanSpec/tree/main/docs/) directory.

.github/workflows/ci.yml

@@ -34,7 +34,7 @@ jobs:
           python-version: ${{ matrix.python-version }}
 
       - name: Run all quality checks via tox
-        run: uvx --with=tox-uv tox -e all-checks
+        run: uvx tox -e all-checks
 
   test:
     name: Tests - Python ${{ matrix.python-version }} on ${{ matrix.os }}
@@ -56,4 +56,4 @@ jobs:
           python-version: ${{ matrix.python-version }}
 
       - name: Run tests via tox
-        run: uvx --with=tox-uv tox -e pytest
+        run: uvx tox -e pytest

.gitignore

@@ -153,7 +153,6 @@ site/
 
 # UV
 .uv/
-uv.lock
 
 # Ruff
 .ruff_cache/

README.md

@@ -127,7 +127,7 @@ you can use `uvx`, which:
 * Uses tox-uv for faster dependency installation
 
 ```bash
-uvx --with=tox-uv tox -e all-checks
+uvx tox -e all-checks
 ```
 
 ### Documentation
@@ -210,9 +210,9 @@ you can use `uvx`:
 
 | Task                                    | Command                               |
 |-----------------------------------------|---------------------------------------|
-| Run all quality checks (no tests/docs)  | `uvx --with=tox-uv tox -e all-checks` |
-| Run everything (checks + tests + docs)  | `uvx --with=tox-uv tox`               |
-| Run specific tox environment            | `uvx --with=tox-uv tox -e lint`       |
+| Run all quality checks (no tests/docs)  | `uvx tox -e all-checks`               |
+| Run everything (checks + tests + docs)  | `uvx tox`               |
+| Run specific tox environment            | `uvx tox -e lint`       |
 
 
 ## Contributing

RELEASING.md

@@ -42,7 +42,7 @@ docs = [
     "codespell>=2.4.1,<3",
     "pyspelling>=2.8.2,<3",
 ]
-dev = ["lean-spec[test,lint,typecheck,docs]", "tox>=4.23.0,<5"]
+dev = ["lean-spec[test,lint,typecheck,docs]", "tox>=4.23.0,<5", "tox-uv>=1.29.0"]
 mdformat = [
     "mdformat-gfm-alerts==2.0.0",
     "mdformat-gfm==0.4.1",

pyproject.toml

@@ -1,12 +1,16 @@
 [tox]
+min_version = 4.0
+requires =
+    tox-uv >=1.29
 env_list =
     all-checks
     pytest
     docs
 skip_missing_interpreters = true
+runner = uv-venv-lock-runner
 
 [testenv]
-basepython = python3
+basepython = python3.14
 uv_python = >=3.12
 
 [testenv:all-checks]