Skip to content

Commit

Permalink
Update dependency: deps/pyk_release (#341)
Browse files Browse the repository at this point in the history 
* deps/pyk_release: Set Version v0.1.331

* Set Version: 0.1.94

* kavm/: sync poetry files v0.1.331

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

* deps/pyk_release: Set Version v0.1.332

* kavm/: sync poetry files v0.1.332

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

* deps/pyk_release: Set Version v0.1.333

* kavm/: sync poetry files v0.1.333

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

* deps/pyk_release: Set Version v0.1.334

* kavm/: sync poetry files v0.1.334

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

* deps/pyk_release: Set Version v0.1.335

* kavm/: sync poetry files v0.1.335

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

* deps/pyk_release: Set Version v0.1.336

* kavm/: sync poetry files v0.1.336

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

* deps/pyk_release: Set Version v0.1.337

* kavm/: sync poetry files v0.1.337

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

* deps/pyk_release: Set Version v0.1.338

* kavm/: sync poetry files v0.1.338

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

* deps/pyk_release: Set Version v0.1.339

* kavm/: sync poetry files v0.1.339

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

* deps/pyk_release: Set Version v0.1.340

* kavm/: sync poetry files v0.1.340

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

* deps/pyk_release: Set Version v0.1.341

* kavm/: sync poetry files v0.1.341

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

* deps/pyk_release: Set Version v0.1.342

* kavm/: sync poetry files v0.1.342

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

* deps/pyk_release: Set Version v0.1.343

* kavm/: sync poetry files v0.1.343

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

* deps/pyk_release: Set Version v0.1.344

* kavm/: sync poetry files v0.1.344

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

* kavm/: sync poetry files v0.1.344

* deps/pyk_release: Set Version v0.1.345

* kavm/: sync poetry files v0.1.345

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

* deps/pyk_release: Set Version v0.1.346

* kavm/: sync poetry files v0.1.346

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

* deps/pyk_release: Set Version v0.1.347

* kavm/: sync poetry files v0.1.347

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

* deps/pyk_release: Set Version v0.1.348

* kavm/: sync poetry files v0.1.348

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

* deps/pyk_release: Set Version v0.1.349

* kavm/: sync poetry files v0.1.349

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

* deps/pyk_release: Set Version v0.1.351

* kavm/: sync poetry files v0.1.351

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

* deps/pyk_release: Set Version v0.1.352

* kavm/: sync poetry files v0.1.352

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

* deps/pyk_release: Set Version v0.1.353

* kavm/: sync poetry files v0.1.353

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

* deps/pyk_release: Set Version v0.1.354

* kavm/: sync poetry files v0.1.354

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

* deps/pyk_release: Set Version v0.1.355

* kavm/: sync poetry files v0.1.355

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

* deps/pyk_release: Set Version v0.1.356

* kavm/: sync poetry files v0.1.356

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

* deps/pyk_release: Set Version v0.1.357

* kavm/: sync poetry files v0.1.357

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

* deps/pyk_release: Set Version v0.1.358

* kavm/: sync poetry files v0.1.358

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

* deps/pyk_release: Set Version v0.1.359

* kavm/: sync poetry files v0.1.359

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

* deps/pyk_release: Set Version v0.1.360

* kavm/: sync poetry files v0.1.360

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

* deps/pyk_release: Set Version v0.1.361

* kavm/: sync poetry files v0.1.361

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

* deps/pyk_release: Set Version v0.1.362

* kavm/: sync poetry files v0.1.362

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

* Update some pyk call sites

* Bump install-nix to v22

---------

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Georgy Lukyanov <mail@geo2a.info>
  • Loading branch information
@rv-jenkins @geo2a
3 people authored Jul 10, 2023
1 parent fc165d7 commit 83eb7c4
Show file tree
Hide file tree
Showing 11 changed files with 1,039 additions and 641 deletions.
2 changes: 1 addition & 1 deletion .github/workflows/master-push.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -28,7 +28,7 @@ jobs:

- name: 'Install Nix/Cachix'
if: ${{ !startsWith(matrix.os, 'self') }}
uses: cachix/install-nix-action@v19
uses: cachix/install-nix-action@v22
with:
install_url: https://releases.nixos.org/nix/nix-2.13.3/install
extra_nix_config: |
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/test.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -49,7 +49,7 @@ jobs:
uses: actions/checkout@v3.3.0
- name: 'Install Nix/Cachix'
if: ${{ !startsWith(matrix.os, 'self') }}
uses: cachix/install-nix-action@v19
uses: cachix/install-nix-action@v22
with:
install_url: https://releases.nixos.org/nix/nix-2.13.3/install
extra_nix_config: |
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/update-version.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -59,7 +59,7 @@ jobs:
cd -
git add kavm/ && git commit -m "kavm/: sync poetry files ${pyk_version}" || true
- name: 'Install Nix'
uses: cachix/install-nix-action@v19
uses: cachix/install-nix-action@v22
with:
install_url: https://releases.nixos.org/nix/nix-2.13.3/install
extra_nix_config: |
Expand Down
2 changes: 1 addition & 1 deletion deps/pyk_release
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
v0.1.330
v0.1.362
Loading

0 comments on commit 83eb7c4

Please sign in to comment.