Skip to content

Commit d81886e

Browse files
rv-jenkinsrv-auditorehildenbanvacarugoodlyrottenapple
authored
Update dependency: deps/pyk_release (#1458)
* deps/pyk_release: v0.1.55 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * .github/test-pr: run proofs quickly at first, and rerun slow * flake.{nix,lock}: update Nix derivations * .github/test-pr: less extreme parallelism * flake.{nix,lock}: update Nix derivations * deps/pyk_release: v0.1.56 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * deps/pyk_release: v0.1.57 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * .github/test-pr: reduce parallelism * .github/test-pr: back to normal parallelism * deps/pyk_release: v0.1.58 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * deps/pyk_release: v0.1.59 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * deps/pyk_release: v0.1.60 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * deps/pyk_release: v0.1.62 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * deps/pyk_release: v0.1.63 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * deps/pyk_release: v0.1.64 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * deps/pyk_release: v0.1.65 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * deps/pyk_release: v0.1.66 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * deps/pyk_release: v0.1.67 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * deps/pyk_release: v0.1.68 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * deps/pyk_release: v0.1.69 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * deps/pyk_release: v0.1.70 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * kevm-pyk/: sync poetry files * deps/pyk_release: v0.1.71 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * kevm-pyk/: sync poetry files * deps/pyk_release: v0.1.72 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * deps/pyk_release: v0.1.73 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * switched to k-framework cache * switched to k-framework cache * Add --print-build-logs * flake.{nix,lock}: update Nix derivations * remove graphviz Co-authored-by: devops <[email protected]> Co-authored-by: Everett Hildenbrandt <[email protected]> Co-authored-by: Andrei Văcaru <[email protected]> Co-authored-by: Sam Balco <[email protected]> Co-authored-by: Bruce Collie <[email protected]>
1 parent 03e60ab commit d81886e

File tree

7 files changed

+56
-58
lines changed

7 files changed

+56
-58
lines changed

‎.github/workflows/test-pr.yml

Lines changed: 4 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -139,13 +139,11 @@ jobs:
139139
- name: 'Install Cachix'
140140
uses: cachix/cachix-action@v10
141141
with:
142-
name: runtimeverification
143-
extraPullNames: kore
144-
signingKey: '${{ secrets.CACHIX_SIGNING_KEY }}'
145-
authToken: ${{ secrets.CACHIX_RV_PRIVATE_TOKEN }}
146-
142+
name: k-framework
143+
authToken: '${{ secrets.CACHIX_PUBLIC_TOKEN }}'
144+
147145
# - name: Check submodules
148146
# run: GC_DONT_GC=1 nix run .#check-submodules
149147

150148
- name: Test KEVM
151-
run: GC_DONT_GC=1 nix build .#kevm-test
149+
run: GC_DONT_GC=1 nix build --print-build-logs .#kevm-test

‎.github/workflows/update-version.yml

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -53,9 +53,8 @@ jobs:
5353
- name: 'Install Cachix'
5454
uses: cachix/cachix-action@v10
5555
with:
56-
name: runtimeverification
57-
extraPullNames: kore
58-
signingKey: '${{ secrets.CACHIX_SIGNING_KEY }}'
56+
name: k-framework
57+
authToken: '${{ secrets.CACHIX_PUBLIC_TOKEN }}'
5958
- name: 'Update nix flake inputs'
6059
run: |
6160
nix run .#update-from-submodules

‎deps/pyk_release

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
v0.1.54
1+
v0.1.73

‎flake.lock

Lines changed: 26 additions & 26 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎flake.nix

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,7 @@
1818
"github:ethereum/legacytests/d7abc42a7b352a7b44b1f66b58aca54e4af6a9d7";
1919
ethereum-legacytests.flake = false;
2020
haskell-backend.follows = "k-framework/haskell-backend";
21-
pyk.url = "github:runtimeverification/pyk/v0.1.54";
21+
pyk.url = "github:runtimeverification/pyk/v0.1.73";
2222
pyk.inputs.flake-utils.follows = "k-framework/flake-utils";
2323
pyk.inputs.nixpkgs.follows = "k-framework/nixpkgs";
2424

@@ -38,7 +38,7 @@
3838
llvmPackages.llvm
3939
cryptopp.dev
4040
gmp
41-
graphviz
41+
# graphviz
4242
mpfr
4343
openssl.dev
4444
pkg-config

‎kevm-pyk/poetry.lock

Lines changed: 20 additions & 19 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎kevm-pyk/pyproject.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ authors = [
1313
[tool.poetry.dependencies]
1414
python = "^3.8"
1515
pathos = "*"
16-
pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.54" }
16+
pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.73" }
1717

1818
[tool.poetry.group.dev.dependencies]
1919
autoflake = "*"

0 commit comments

Comments
 (0)