Followup to intitial nix setup (#35)

* Followup to intitial nix setup, cleaning up a few details * Set Version: 0.1.29 * Set Version: 0.1.30 * Set Version: 0.1.31 --------- Co-authored-by: devops <[email protected]>
runtimeverification · Sep 10, 2024 · 1f6576b · 1f6576b
1 parent 309adc9
commit 1f6576b
Show file tree

Hide file tree

Showing 5 changed files with 82 additions and 728 deletions.
diff --git a/.github/workflows/update.yml b/.github/workflows/update.yml
@@ -39,5 +39,11 @@ jobs:
           K_VERSION=$(poetry run python3 -c 'import pyk; print(pyk.__version__)')
           echo ${K_VERSION} > deps/k_release
           git add deps/k_release && git commit -m "deps/k_release: sync release file version ${K_VERSION}" || true
+      - name: 'Update Nix flake inputs'
+        run: |
+          PYKWASM_VERSION=v"$(cat deps/kwasm_release)"
+          sed -i 's!    wasm-semantics.url = "github:runtimeverification/wasm-semantics/v[[:digit:]]\+\.[[:digit:]]\+\.[[:digit:]]\+"!    wasm-semantics.url = "github:runtimeverification/wasm-semantics/'"${PYKWASM_VERSION}"'"!' flake.nix
+          nix flake update
+          git add flake.nix flake.lock && git commit -m 'flake.{nix,lock}: update Nix derivations' || true
       - name: 'Push updates'
         run: git push