Skip to content

v0.1.10: Migrate from `poetry` to `uv` (#19)

Compare
Choose a tag to compare
@github-actions github-actions released this 10 Jun 18:46
44ae799
* Migrate from `poetry` to `uv`

* add python build tool dependencies to nix derivation

* finish nix derivation of `skribe-simulation`

* add skribe nix derivation with rust in passthrough

* make `uv2nix` and `pyproject-build-tools` updatable by CI

* add smoke test for nix derivation

* add `rv-nix-tools` to `deps/`

* add branches to push events in `update.yaml`

* Set Version: 0.1.10

---------

Co-authored-by: Julian Kuners <julian.kuners@gmail.com>
Co-authored-by: devops <devops@runtimeverification.com>