Add [package].rust-version to cargo.toml

.github/workflows/CI.yml

@@ -47,7 +47,7 @@ jobs:
           echo "LD_LIBRARY_PATH=${LIBDIR}:${LD_LIBRARY_PATH}" >> $GITHUB_ENV
 
       - name: Run Python tests
-        run: uv run pytest
+        run: uv run pytest -v
 
       - name: Run Rust tests
         run: cargo run
@@ -108,7 +108,7 @@ jobs:
           args: --release --out dist --find-interpreter
 
       - name: Run Python tests
-        run: uv run pytest
+        run: uv run pytest -v
 
       - name: Upload wheels
         uses: actions/upload-artifact@v4
@@ -162,7 +162,7 @@ jobs:
 
       - name: Run Python tests
         if: matrix.target == 'aarch64'
-        run: uv run pytest
+        run: uv run pytest -v
 
       - name: Upload wheels
         uses: actions/upload-artifact@v4

Cargo.toml

@@ -1,6 +1,7 @@
 [package]
 name = "icicle-python"
 edition = "2021"
+rust-version = "1.90.0"
 
 [lib]
 name = "icicle"

README.md

@@ -12,7 +12,7 @@ pip install icicle-emu
 
 ## Development
 
-_Note_: You need to install [Rust 1.90](https://rustup.rs) or later to build from source.
+_Note_: You need to install [Rust 1.90](https://rustup.rs) or higher to build from source.
 
 ### Install uv
 
@@ -40,7 +40,7 @@ uv run maturin develop
 The `tests` folder contains tests that double as standalone examples. Prefix a function with `test_` to automatically run it:
 
 ```shell
-uv run pytest
+uv run pytest -v
 ```
 
 Alternatively you can `uv run tests/example.py` to run/debug the standalone example.