Update dependency: deps/pyk_release (#2062)

* deps/pyk_release: Set Version v0.1.435 * Set Version: 1.0.288 * deps/pyk_release: Set Version v0.1.436 * Set Version: 1.0.289 * kevm-pyk/: sync poetry files pyk version v0.1.436 * flake.{nix,lock}: update Nix derivations * deps/pyk_release: Set Version v0.1.437 * Set Version: 1.0.290 * kevm-pyk/: sync poetry files pyk version v0.1.437 * deps/k_release: sync release file version 6.0.87 * flake.{nix,lock}: update Nix derivations * deps/pyk_release: Set Version v0.1.438 * kevm-pyk/: sync poetry files pyk version v0.1.438 * flake.{nix,lock}: update Nix derivations * run_kore -> run * update foundry-list.expected * update expected output for test_foundry_prove * kevm-pyk/: sync poetry files pyk version v0.1.438 * deps/pyk_release: Set Version v0.1.439 * kevm-pyk/: sync poetry files pyk version v0.1.439 * flake.{nix,lock}: update Nix derivations * Set Version: 1.0.292 * kevm-pyk/: sync poetry files pyk version v0.1.439 * update expected output * deps/pyk_release: Set Version v0.1.441 * kevm-pyk/: sync poetry files pyk version v0.1.441 * flake.{nix,lock}: update Nix derivations * deps/pyk_release: Set Version v0.1.442 * kevm-pyk/: sync poetry files pyk version v0.1.442 * flake.{nix,lock}: update Nix derivations * deps/pyk_release: Set Version v0.1.443 * kevm-pyk/: sync poetry files pyk version v0.1.443 * flake.{nix,lock}: update Nix derivations * Set Version: 1.0.293 * kevm-pyk/: sync poetry files pyk version v0.1.443 * deps/pyk_release: Set Version v0.1.444 * kevm-pyk/: sync poetry files pyk version v0.1.444 * flake.{nix,lock}: update Nix derivations * Set Version: 1.0.294 * .github/test-pr: remove dockerhub image creation step * package/{docker,debian}: remove debian packaging * .github/update-version: correct plugin submodule directory * package/version.sh: correct location * kevm-pyk/: sync poetry files pyk version v0.1.444 * deps/pyk_release: Set Version v0.1.445 * kevm-pyk/: sync poetry files pyk version v0.1.445 * flake.{nix,lock}: update Nix derivations * .github/test-pr: increase booster timeout * deps/pyk_release: Set Version v0.1.446 * kevm-pyk/: sync poetry files pyk version v0.1.446 * flake.{nix,lock}: update Nix derivations * Set Version: 1.0.295 * Set Version: 1.0.296 * kevm-pyk/: sync poetry files pyk version v0.1.446 * Set Version: 1.0.297 --------- Co-authored-by: devops <[email protected]> Co-authored-by: Andrei <[email protected]> Co-authored-by: Everett Hildenbrandt <[email protected]>
runtimeverification · Sep 20, 2023 · a9231d4 · a9231d4
1 parent 051c16c
commit a9231d4
Show file tree

Hide file tree

Showing 23 changed files with 5,653 additions and 600 deletions.
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -152,7 +152,7 @@ jobs:
     name: 'Build and Test KEVM haskell proofs (booster)'
     needs: kevm-pyk-code-quality-checks
     runs-on: [self-hosted, linux, normal]
-    timeout-minutes: 120
+    timeout-minutes: 150
     steps:
       - name: 'Check out code'
         uses: actions/checkout@v3

diff --git a/.github/workflows/update-version.yml b/.github/workflows/update-version.yml
@@ -41,7 +41,7 @@ jobs:
           git add deps/k_release && git commit -m "deps/k_release: sync release file version ${K_VERSION}" || true
       - name: 'Update plugin release file'
         run: |
-          BKP_VERSION=$(git -C deps/plugin rev-parse HEAD)
+          BKP_VERSION=$(git -C kevm-pyk/src/kevm_pyk/kproj/plugin rev-parse HEAD)
           echo ${BKP_VERSION} > deps/blockchain-k-plugin_release
           git add deps/blockchain-k-plugin_release && git commit -m "deps/blockchain-k-plugin_release: sync release file version ${BKP_VERSION}" || true
       - name: 'Install Nix/Cachix'

diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-6.0.69
+6.0.87
diff --git a/deps/pyk_release b/deps/pyk_release
@@ -1 +1 @@
-v0.1.434
+v0.1.446