Fix prove tests

.github/workflows/test-pr.yml

@@ -1,48 +1,24 @@
 name: 'Run Tests'
 on:
   pull_request:
+  push:
+    branches:
+      - 'master-update'
   workflow_dispatch:
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: true
 
 jobs:
 
-  version-bump:
-    name: 'Version Bump'
-    runs-on: [self-hosted, linux, flyweight-ephemeral]
-    steps:
-      - name: 'Check out code'
-        uses: actions/checkout@v3
-        with:
-          token: ${{ secrets.JENKINS_GITHUB_PAT }}
-          # fetch-depth 0 means deep clone the repo
-          fetch-depth: 0
-          ref: ${{ github.event.pull_request.head.sha }}
-      - name: 'Configure GitHub user'
-        run: |
-          git config user.name devops
-          git config user.email [email protected]
-      - name: 'Update version'
-        run: |
-          og_version=$(git show origin/${GITHUB_BASE_REF}:package/version)
-          ./package/version.sh bump ${og_version}
-          ./package/version.sh sub
-          new_version=$(cat package/version)
-          git add --update && git commit --message "Set Version: ${new_version}" || true
-      - name: 'Push updates'
-        run: git push origin HEAD:${GITHUB_HEAD_REF}
-
   pykwasm-code-quality-checks:
     name: 'Code Quality Checks'
     runs-on: ubuntu-latest
     steps:
       - name: 'Check out code'
-        uses: actions/checkout@v3
-        with:
-          submodules: recursive
+        uses: actions/checkout@v4
       - name: 'Install Poetry'
-        uses: Gr1N/setup-poetry@v8
+        uses: Gr1N/setup-poetry@v9
       - name: 'Build pykwasm'
         run: poetry -C pykwasm install
       - name: 'Run code quality checks'
@@ -51,11 +27,13 @@ jobs:
         run: make -C pykwasm pyupgrade
       - name: 'Run unit tests'
         run: make -C pykwasm cov-unit
+      - name: 'Run Rust unit-tests'
+        run: make rust-tests
 
   conformance-tests:
     name: 'Conformance Tests'
     needs: pykwasm-code-quality-checks
-    runs-on: [self-hosted, linux, normal]
+    runs-on: [self-hosted, aws, us-east-2, m6a.4xlarge]
     timeout-minutes: 30
     steps:
       - name: 'Check out code'
@@ -82,52 +60,3 @@ jobs:
         if: always()
         run: |
           docker stop --time=0 kwasm-ci-conformance-${GITHUB_SHA}
-
-  prove-tests:
-    name: 'Prover Tests'
-    needs: pykwasm-code-quality-checks
-    runs-on: [self-hosted, linux, normal]
-    timeout-minutes: 30
-    steps:
-      - name: 'Check out code'
-        uses: actions/checkout@v3
-        with:
-          submodules: recursive
-      - name: 'Set up Docker'
-        uses: ./.github/actions/with-docker
-        with:
-          container-name: kwasm-ci-prove-${{ github.sha }}
-      - name: 'Build pykwasm'
-        run: docker exec -u user kwasm-ci-prove-${GITHUB_SHA} poetry -C pykwasm install
-      - name: 'Build Haskell definitions'
-        run: docker exec -u user kwasm-ci-prove-${GITHUB_SHA} poetry -C pykwasm run kdist -v build wasm-semantics.{kwasm-lemmas,wrc20} -j2
-      - name: 'Run prover tests'
-        run: docker exec -u user kwasm-ci-prove-${GITHUB_SHA} make -j6 test-prove
-      - name: 'Tear down Docker'
-        if: always()
-        run: |
-          docker stop --time=0 kwasm-ci-prove-${GITHUB_SHA}
-
-  nix:
-    name: 'Nix'
-    strategy:
-      fail-fast: false
-      matrix:
-        include:
-          - runner: normal
-          - runner: ARM64
-    needs: pykwasm-code-quality-checks
-    runs-on: ${{ matrix.runner }}
-    timeout-minutes: 60
-    steps:
-      - name: 'Check out code'
-        uses: actions/checkout@v3
-        with:
-          # Check out pull request HEAD instead of merge commit.
-          ref: ${{ github.event.pull_request.head.sha }}
-      - name: 'Build KWASM'
-        run: GC_DONT_GC=1 nix build .#kwasm --extra-experimental-features 'nix-command flakes' --print-build-logs
-      - name: 'Build KWASM-Pyk'
-        run: GC_DONT_GC=1 nix build .#kwasm-pyk --extra-experimental-features 'nix-command flakes' --print-build-logs
-      - name: 'Test KWASM'
-        run: GC_DONT_GC=1 nix build .#kwasm-test --extra-experimental-features 'nix-command flakes' --print-build-logs

.github/workflows/update-version.yml

@@ -15,7 +15,7 @@ jobs:
     runs-on: ubuntu-22.04
     steps:
       - name: 'Check out code'
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           submodules: recursive
           token: ${{ secrets.JENKINS_GITHUB_PAT }}
@@ -24,30 +24,11 @@ jobs:
           git config user.email [email protected]
       - name: 'Install Poetry'
         uses: Gr1N/setup-poetry@v8
-      - name: 'Install Nix'
-        uses: cachix/install-nix-action@v22
-        with:
-          install_url: https://releases.nixos.org/nix/nix-2.13.3/install
-          extra_nix_config: |
-            access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
-            substituters = http://cache.nixos.org https://hydra.iohk.io
-            trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ=
-      - name: 'Install Cachix'
-        uses: cachix/cachix-action@v14
-        with:
-          name: k-framework
-          authToken: '${{ secrets.CACHIX_PUBLIC_TOKEN }}'
       - name: 'Update pyk release tag'
         run: |
           K_VERSION=$(cat deps/k_release)
           sed -i 's!kframework = "[v0-9\.]*"!kframework = "'${K_VERSION}'"!' pykwasm/pyproject.toml
           poetry -C pykwasm update
           git add pykwasm/ && git commit -m "pykwasm/: sync poetry files ${K_VERSION}" || true
-      - name: 'Update Nix flake inputs'
-        run: |
-          K_VERSION=v"$(cat deps/k_release)"
-          sed -i 's!    k-framework.url = "github:runtimeverification/k/v[[:digit:]]\+\.[[:digit:]]\+\.[[:digit:]]\+"!    k-framework.url = "github:runtimeverification/k/'"${K_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

.gitignore

@@ -10,3 +10,5 @@
 
 .envrc
 result
+
+build