update workflows and readmes

Author: ss2165

.github/workflows/ci-rs.yml

@@ -22,8 +22,8 @@ env:
   HUGR_TEST_SCHEMA: "1"
   # different strings for install action and feature name
   # adapted from https://github.com/TheDan64/inkwell/blob/master/.github/workflows/test.yml
-  LLVM_VERSION: "14.0"
-  LLVM_FEATURE_NAME: "14-0"
+  LLVM_VERSION: "20.1"
+  LLVM_FEATURE_NAME: "20-1"
 
 jobs:
   # Check if changes were made to the relevant files.
@@ -343,7 +343,7 @@ jobs:
           cargo llvm-cov clean --workspace
           cargo llvm-cov --no-report  --no-default-features --doctests
           cargo llvm-cov --no-report  --all-features --doctests
-          cargo llvm-cov --no-report  -p hugr-llvm --features llvm14-0 --doctests
+          cargo llvm-cov --no-report  -p hugr-llvm --features llvm20-1 --doctests
           cargo llvm-cov --no-report  -p hugr-persistent --doctests
       - name: Generate coverage report
         run: cargo llvm-cov --all-features report --codecov --output-path coverage.json

.github/workflows/release-plz.yml

@@ -8,7 +8,7 @@ on:
 
 
 env:
-  LLVM_VERSION: "14.0"
+  LLVM_VERSION: "20.1"
 
 jobs:
   release-plz-pr:

.github/workflows/semver-checks.yml

@@ -25,6 +25,6 @@ jobs:
     if: ${{ needs.changes.outputs.rust == 'true' }}
     uses: CQCL/hugrverse-actions/.github/workflows/rs-semver-checks.yml@main
     with:
-      apt-dependencies: llvm-14
+      apt-dependencies: llvm-20
     secrets:
       GITHUB_PAT: ${{ secrets.HUGRBOT_PAT }}

DEVELOPMENT.md

@@ -34,7 +34,7 @@ To setup the environment manually you will need:
 - uv `>=0.7`: <https://docs.astral.sh/uv/getting-started/installation>
 - Optional: capnproto `>=1.0`: <https://capnproto.org/install.html>
     Required when modifying the `hugr-model` serialization schema.
-- Optional: llvm `== 14.0`. The "llvm" feature (backed by the sub-crate `hugr-llvm`)
+- Optional: llvm `== 20.1`. The "llvm" feature (backed by the sub-crate `hugr-llvm`)
   requires LLVM installed. We use the rust bindings
   [llvm-sys](https://crates.io/crates/llvm-sys) to [llvm](https://llvm.org/).
 
@@ -46,11 +46,11 @@ just setup
 
 #### Note on LLVM
 
-You will need llvm 14.0 installed in order for `just check` to run all its
+You will need llvm 20.1 installed in order for `just check` to run all its
 checks successfully. On Debian-based systems you can install it as the
-`llvm-14` package; you will also need to install `libpolly14-dev`. You should
-set the environment variable `LLVM_SYS_140_PREFIX` to point to its location
-(e.g. `/usr/lib/llvm-14`) when running `just check`.
+`llvm-20` package; you will also need to install `libpolly20-dev`. You should
+set the environment variable `LLVM_SYS_201_PREFIX` to point to its location
+(e.g. `/usr/lib/llvm-20`) when running `just check`.
 
 ## 🏃 Running the tests
 

hugr-llvm/README.md

@@ -11,10 +11,10 @@ A general, extensible, rust crate for lowering `HUGR`s into `LLVM` IR. Built on
 You'll need to point your `Cargo.toml` to use a single LLVM version feature flag corresponding to your LLVM version, by calling
 
 ```bash
-cargo add hugr-llvm --features llvm14-0
+cargo add hugr-llvm --features llvm20-1
 ```
 
-At present only `llvm14-0` is supported but we expect to introduce supported versions as required. Contributions are welcome.
+At present only `llvm20-1` is supported
 
 See the [llvm-sys][] crate for details on how to use your preferred llvm installation.