Skip to content

v0.1.22: Update dependency: deps/pyproject-build-systems (#30)

Choose a tag to compare

View all tags
@github-actions github-actions released this 06 Feb 17:55
v0.1.22
f974d37
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode. 
* deps/pyproject-build-systems: Set Version dbfc0483b5952c6b86e36f8b3afeb9dde30ea4b5

* Sync uv files 0.1.132

* flake.{nix,lock}: update Nix derivations

* Set Version: 0.1.15

* Sync uv files 0.1.132

* flake.{nix,lock}: update Nix derivations

* flake.{nix,lock}: update Nix derivations

* flake.{nix,lock}: update Nix derivations

* Set Version: 0.1.16

* Sync uv files 0.1.132

* deps/pyproject-build-systems: Set Version 795a980d25301e5133eca37adae37283ec3c8e66

* Set Version: 0.1.17

* Sync uv files 0.1.132

* flake.{nix,lock}: update Nix derivations

* Set Version: 0.1.22

* Sync uv files 0.1.142

---------

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Julian Kuners <julian.kuners@gmail.com>
Co-authored-by: Burak Bilge Yalcinkaya <bbyalcinkaya@gmail.com>
Assets 2
Loading