Update CI for Pi2 fork

.github/workflows/test-pr.yml

@@ -8,41 +8,16 @@ concurrency:
 
 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}
-
   python-code-quality-checks:
     name: 'Code Quality Checks'
     runs-on: ubuntu-latest
     steps:
       - name: 'Check out code'
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           submodules: recursive
       - name: 'Install Poetry'
-        uses: Gr1N/setup-poetry@v8
+        uses: Gr1N/setup-poetry@v9
       - name: 'Build kmultiversx'
         run: make kmultiversx
       - name: 'Run code quality checks'
@@ -64,7 +39,7 @@ jobs:
       - name: 'Build kmultiversx'
         run: docker exec -t elrond-semantics-ci-${GITHUB_SHA} make kmultiversx
       - name: 'Build K definitions'
-        run: docker exec -t elrond-semantics-ci-${GITHUB_SHA} make build-all
+        run: docker exec -t elrond-semantics-ci-${GITHUB_SHA} make build-mandos build-kasmer
       - name: 'KMultiversX Tests'
         run: docker exec -t elrond-semantics-ci-${GITHUB_SHA} make -C kmultiversx test
       - name: 'Simple Tests'
@@ -115,22 +90,3 @@ jobs:
         if: always()
         run: |
           docker stop --time=0 elrond-semantics-ci-${GITHUB_SHA}
-
-  nix:
-    name: 'Build using Nix'
-    strategy:
-      fail-fast: false
-      matrix:
-        include:
-          - runner: normal
-          - runner: ARM64
-    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 KMultiversX'
-        run: GC_DONT_GC=1 nix build .#kmultiversx --extra-experimental-features 'nix-command flakes' --print-build-logs

.github/workflows/update-version.yml

@@ -25,16 +25,6 @@ jobs:
           git config user.email [email protected]
       - name: 'Install Poetry'
         uses: Gr1N/setup-poetry@v8
-      - name: 'Install Nix/Cachix'
-        uses: cachix/install-nix-action@v27
-        with:
-          install_url: https://releases.nixos.org/nix/nix-2.22.1/install
-          extra_nix_config: |
-            access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
-      - uses: cachix/cachix-action@v15
-        with:
-          name: k-framework
-          authToken: ${{ secrets.CACHIX_PUBLIC_TOKEN }}
       - name: 'Update poetry files'
         run: |
           PYKWASM_VERSION="$(cat deps/kwasm_release)"
@@ -51,16 +41,5 @@ jobs:
           BKP_VERSION=$(git -C kmultiversx/src/kmultiversx/kdist/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: 'Update Nix flake inputs'
-        run: |
-          K_VERSION="$(cat deps/k_release)"
-          PYKWASM_VERSION="$(cat deps/kwasm_release)"
-          BKP_VERSION="$(cat deps/blockchain-k-plugin_release)"
-          sed -i 's!    k-framework.url = "github:runtimeverification/k/v[[:digit:]]\+\.[[:digit:]]\+\.[[:digit:]]\+"!    k-framework.url = "github:runtimeverification/k/'"v${K_VERSION}"'"!' flake.nix
-          sed -i 's!    pyk.url = "github:runtimeverification/k/v[[:digit:]]\+\.[[:digit:]]\+\.[[:digit:]]\+?dir=pyk"!    pyk.url = "github:runtimeverification/k/'"v${K_VERSION}"'?dir=pyk"!' flake.nix
-          sed -i 's!    wasm-semantics.url = "github:runtimeverification/wasm-semantics/v[[:digit:]]\+\.[[:digit:]]\+\.[[:digit:]]\+"!    wasm-semantics.url = "github:runtimeverification/wasm-semantics/'"v${PYKWASM_VERSION}"'"!' flake.nix
-          sed -i 's!        "github:runtimeverification/blockchain-k-plugin/.*";!        "github:runtimeverification/blockchain-k-plugin/'"${BKP_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