feat: use compliant llvm + tket artifacts from hugrverse-env by jake-arkinstall · Pull Request #1471 · Quantinuum/tket2

jake-arkinstall · 2026-03-25T14:36:34Z

Recovers manylinux 2.28 support for wheels, using TKET and LLVM sourced from hugrverse-env rather than 3rd party prebuilds.

Key things to know:

hugrenv.nix is used to fetch llvm and/or tket for a given platform, defaulting to both packages on the current system.
hugrenv.lock is used to pin the version and allow for caching in nix specifically. It can be downloaded from a release of hugrverse-env (as of 0.5.0).
- we can look at making hugrenv a flake and thus a natural devenv input, but for now I don't want to make this nix dependant
- we can also look at giving caching a wider net.
just update-hugrenv 1.2.3 bumps the hugrenv.lock (by downloading it from the release)
CI uses hugrenv.lock to fetch dependencies automatically in an action
- we can look at moving the action to the hugrverse-env repo at a later point
devenv.nix now uses tket and LLVM from hugrverse-env.
- LLVM in particular is a controversial choice but I justify it on two grounds:
  - nixpkgs has its own vision about llvm support, we have our own constraints. We have run into this issue previously and bringing the build in-house puts us in the driving seat.
  - eliminates potential "if it works on my machine" cases - CI builds and devenv builds should be 1:1
I have not explained this in documentation. I'd appreciate passing that ball to someone else.

codecov · 2026-03-25T14:40:00Z

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 83.82%. Comparing base (a7c66f6) to head (9386975).
⚠️ Report is 1 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##             main    #1471   +/-   ##
=======================================
  Coverage   83.82%   83.82%           
=======================================
  Files         187      187           
  Lines       28943    28943           
  Branches    27880    27880           
=======================================
  Hits        24262    24262           
  Misses       3520     3520           
  Partials     1161     1161

Flag	Coverage Δ
python	`92.41% <ø> (ø)`
qis-compiler	`91.66% <ø> (ø)`
rust	`83.50% <ø> (ø)`

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

Copilot

Pull request overview

This PR restores manylinux 2.28 compatibility for qis-compiler wheels by switching CI/build tooling from system/third-party LLVM installs and locally-built tket-c-api artifacts to LLVM/tket bundles sourced from hugrverse-env.

Changes:

Update qis-compiler’s cibuildwheel configuration to build against manylinux 2.28 images and use hugrverse-provided LLVM/tket artifacts.
Refactor GitHub Actions workflows (CI, semver, release checks, wheel builds) to install LLVM/tket from hugrverse-env and remove the composite tket-c-api installer action.
Add Nix support for fetching hugrverse artifacts (hugrenv.nix) and wire it into devenv.nix.

Reviewed changes

Copilot reviewed 9 out of 11 changed files in this pull request and generated 13 comments.

Show a summary per file

File	Description
`qis-compiler/pyproject.toml`	Switches manylinux images back to 2.28 and replaces LLVM/tket setup with hugrverse-env downloads across OSes.
`hugrenv.nix`	New Nix helper to fetch a platform-specific hugrverse tket bundle.
`devenv.nix`	Integrates `hugrenv.nix` and sets `TKET_C_API_PATH` for local dev shells.
`devenv.lock`	Updates devenv inputs/locks (adds git-hooks-related inputs).
`.gitignore`	Ignores `/wheelhouse` artifacts produced by cibuildwheel workflows.
`.github/workflows/semver-checks.yml`	Replaces tket-c-api/LLVM installation with hugrverse-env downloads for semver checks.
`.github/workflows/release-checks.yml`	Replaces tket-c-api installation with hugrverse-env tket download for release validation.
`.github/workflows/python-wheels.yml`	Updates multi-platform wheel build matrix and installs hugrverse-env artifacts instead of apt/brew + tket-c-api action.
`.github/workflows/python-qis-wheels.yml`	Re-enables ARM runner in the qis-compiler wheel build matrix.
`.github/workflows/ci.yml`	Replaces apt LLVM + tket-c-api action usage with hugrverse-env installation across jobs.
`.github/actions/tket-c-api/action.yml`	Removes the composite action previously used to build/cache `tket-c-api`.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

…aseline back to 2.28 Fix llvm-sys path Add gcc-toolset-13 install back to cibw Try using new hugrenv artifacts Emit urls during install phase for debug Bump to hugrenv 0.3.0c Bump to hugrenv 0.3.0d (now with clang - windows failures expected as it's still building Add backslashes, add tket c api path on macos mkdir the hugrenv root before extracting to it, correct tar usage on windows qis-compiler builds Update tar extraction path on windows Try using windows RUNNER_TEMP as the hugrenv install dir Try replacing slashes on windows Try using python for tar extraction on windows (built-in tar doesn't seem to like windows paths) Bump to hugrenv 0.3.0 (full release)

…d copying nonexistent file on windows

… build.rs

…ibtket.so and hugrverse's libtket.so may conflict). Add symengine as an explicit tket dependency for windows builds

… in cibw contexts

… by filename

…y install this commit's tket-exts and tket-eccs

…g wheels

…nv.lock generation in hugrverse-env instead of manually managing it here

jake-arkinstall · 2026-04-06T21:55:27Z

I had to modify the python wheel tests to explicitly use a venv and use local tket-eccs and tket-exts packages, because uv seemed to randomly try to download them from pypi (where the latest release isn't compatible with the latest hugr).

… into account

aborgna-q

🚀

aborgna-q · 2026-04-07T09:02:34Z

-        uses: ./.github/actions/tket-c-api
+
+
+      - uses: quantinuum/hugrverse-env/.github/actions/install-hugrenv@main


Just a nitpick, but we could have install-hugrenv at the root of the repo so the callpoints are cleaner.

agree, will do that now

aborgna-q · 2026-04-07T09:13:38Z

Test run for the tket-py wheels: https://github.com/Quantinuum/tket2/actions/runs/24073720469

Can confirm that the wheels work fine. tket-0.12.16-cp310-abi3-manylinux_2_28_x86_64 actually only uses GLIBC_2.23 now.

… checks will suffice

- [x] Pull latest branch updates and inspect moved `fetch_hugrenv` implementation - [x] Add a default destination (`./target/hugrenv/`) so `just fetch-hugrenv` works with no args - [x] Update `scripts/fetch_hugrenv.py` to accept no argument and default to `./target/hugrenv/` - [x] Extend docs to explain when to avoid the default path (shared/versioned central install paths) - [x] Run relevant validation for changed files and summarize any environment/tooling limitations --------- Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com> Co-authored-by: jake-arkinstall <65358059+jake-arkinstall@users.noreply.github.com> Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>

jake-arkinstall · 2026-04-07T11:29:32Z

Question - why are the python wheels a dedicated action on workflow dispatch rather than automatically done on PR? Is it because of the prior breakages? If so we might revert that in this PR.

jake-arkinstall · 2026-04-07T11:56:57Z

@aborgna-q I've addressed everything, I think - python wheel tests are passing and CI (at the time of writing) is looking like it'll pass too. If it doesn't I'll get back onto it but otherwise the ball is in your court!

jake-arkinstall requested a review from a team as a code owner March 25, 2026 14:36

jake-arkinstall requested a review from acl-cqc March 25, 2026 14:36

Copilot AI review requested due to automatic review settings March 31, 2026 16:59

Copilot started reviewing on behalf of jake-arkinstall March 31, 2026 17:00 View session

jake-arkinstall marked this pull request as draft March 31, 2026 17:05

Copilot AI reviewed Mar 31, 2026

View reviewed changes

jake-arkinstall force-pushed the feat/compliant-llvm branch from 3e72b67 to 0356f40 Compare April 1, 2026 14:41

jake-arkinstall changed the title ~~feat: bring manylinux2.28 compliance back to qis-compiler~~ feat: use compliant llvm + tket artifacts from hugrverse-env Apr 1, 2026

jake-arkinstall force-pushed the feat/compliant-llvm branch from 5ec6d00 to b5f0c4e Compare April 2, 2026 11:01

jake-arkinstall added 20 commits April 5, 2026 14:09

Neaten up python-wheels.yml

dc6ff98

Correct mkdir invocation in python-wheels.yml

c9539f0

Fix devenv path, allow lib and lib64 paths for shared libraries, avoi…

9474d90

…d copying nonexistent file on windows

Bump to hugrenv 0.3.1 (GMP removal)

86d3f96

Remove conan as a default dev package, test wheels in a fresh location

8b4cc3c

Set DYLD_LIBRARY_PATH to point to hugrenv when running delocate on macos

60c49aa

LD_LIBRARY_PATH fixes, add explicit tket.lib dependency on windows in…

473b006

… build.rs

uv sync, update snapshots

1104c73

Don't flood LD_LIBRARY_PATH for non-build environments (as pytket's l…

e83908b

…ibtket.so and hugrverse's libtket.so may conflict). Add symengine as an explicit tket dependency for windows builds

Add extra windows deps, don't overwrite pytket deps when testing python

dfaa475

Try new windows beta release of hugrverse-env

d3f4667

Re-apply copying of tket_c_api.dll to wheel in windows

389973d

Add hugrenv utilities

7d53ab2

Move install-hugrenv action to actions dir

38f433d

Terminate for loop in install-hugrenv action

c2e0b75

mkdir

a11052e

Add hugrverse_env to path env vars, fixup python-qis-wheels.yml

38f34f5

Remove unused caching in qis-compiler, s/macos/macosx/, correct paths…

ec56c93

… in cibw contexts

Make install-hugrenv detect platform rather than accept info as inputs

afb7664

Don't weakly prefer uv install tket from the built wheel - require it…

494c81a

… by filename

jake-arkinstall force-pushed the feat/compliant-llvm branch from d1399b3 to 494c81a Compare April 5, 2026 14:51

jake-arkinstall added 8 commits April 5, 2026 22:41

Use a venv instead of uv for testing python wheel import, and manuall…

fd5bf7e

…y install this commit's tket-exts and tket-eccs

Try using remote action for installing hugrenv

6d778a8

Typo fix

5e251d5

Typo fix

17ac5be

Set MACOSX_DEPLOYMENT_TARGET, use unified venv invocation when testin…

e1cd48a

…g wheels

Update hugrenv to 0.5.0 (with macos 11 compliance), utilise new hugre…

e71d05d

…nv.lock generation in hugrverse-env instead of manually managing it here

Merge branch 'main' into feat/compliant-llvm

3cdfe5d

Use main branch of install-hugrenv

9bceef6

jake-arkinstall marked this pull request as ready for review April 6, 2026 21:41

Update hugrenv.nix to take the macosx deployment target 15->11 change…

650c55b

… into account

aborgna-q approved these changes Apr 7, 2026

View reviewed changes

jake-arkinstall and others added 5 commits April 7, 2026 12:00

Remove unnecessary LD_LIBRARY_PATH stripping in ci.yml - python wheel…

398d2f3

… checks will suffice

Update comments in python-wheels.yml for clarity

c9e7f6a

Merge branch 'main' into feat/compliant-llvm

f879689

Point to new location for the install-hugrenv-action

8c89fd9

jake-arkinstall added 3 commits April 7, 2026 12:34

Satisfy mypy in scripts/fetch_hugrenv.py

613eee9

Satisfy ruff

3d7119a

Satisfy ruff (cont.d)

9386975

aborgna-q added this pull request to the merge queue Apr 7, 2026

Merged via the queue into main with commit 6faaf41 Apr 7, 2026
31 checks passed

aborgna-q deleted the feat/compliant-llvm branch April 7, 2026 13:14

hugrbot mentioned this pull request Apr 7, 2026

chore(py): release qis-compiler 0.3.0 #1381

Draft

		uses: ./.github/actions/tket-c-api


		- uses: quantinuum/hugrverse-env/.github/actions/install-hugrenv@main

Conversation

jake-arkinstall commented Mar 25, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

codecov Bot commented Mar 25, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Codecov Report

Uh oh!

Copilot AI left a comment

Choose a reason for hiding this comment

Pull request overview

Reviewed changes

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

jake-arkinstall commented Apr 6, 2026

Uh oh!

aborgna-q left a comment

Choose a reason for hiding this comment

Uh oh!

aborgna-q Apr 7, 2026

Choose a reason for hiding this comment

Uh oh!

jake-arkinstall Apr 7, 2026

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

Uh oh!

aborgna-q commented Apr 7, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

jake-arkinstall commented Apr 7, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

jake-arkinstall commented Apr 7, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

4 participants

jake-arkinstall commented Mar 25, 2026 •

edited

Loading

codecov Bot commented Mar 25, 2026 •

edited

Loading

aborgna-q commented Apr 7, 2026 •

edited

Loading

jake-arkinstall commented Apr 7, 2026 •

edited

Loading