test.yml

name: 'Test'
on:
  pull_request:
    branches:
      - 'master'
# Stop in progress workflows on the same branch and same workflow to use latest committed code
concurrency:
  group: ${{ github.workflow }}-${{ github.ref }}
  cancel-in-progress: true

jobs:

  version-bump:
    name: 'Version Bump'
    runs-on: ubuntu-latest
    steps:
      - name: 'Check out code'
        uses: actions/checkout@v3.3.0
        with:
          token: ${{ secrets.JENKINS_GITHUB_PAT }}
          # fetch-depth 0 means deep clone the repo
          fetch-depth: 0
      - name: 'Update Version'
        run: |
          set -x
          git config user.name devops
          git config user.email devops@runtimeverification.com
          ./package/version.sh bump $(git show origin/${GITHUB_BASE_REF}:package/version)
          ./package/version.sh sub
          if git add --update && git commit --message "Set Version: $(cat package/version)"; then
            git push origin HEAD:${GITHUB_HEAD_REF}
          fi

  build-nix:
    name: 'Nix / Build'
    strategy:
      matrix:
        include:
          - runner: ubuntu-latest
            os: ubuntu-latest
          - runner: macos-12
            os: macos-12
          - runner: MacM1
            os: self-macos-12
    runs-on: ${{ matrix.runner }}
    needs: version-bump
    steps:
      - name: 'Check out code'
        uses: actions/checkout@v3.3.0
      - name: 'Install Nix/Cachix'
        if: ${{ !startsWith(matrix.os, 'self') }}
        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 }}

      - uses: cachix/cachix-action@v12
        if: ${{ !startsWith(matrix.os, 'self') }}
        with:
          name: k-framework
          authToken: ${{ secrets.CACHIX_PUBLIC_TOKEN }}
          skipPush: true

      - name: 'Build via Nix'
        run: GC_DONT_GC=1 nix build .#kavm --print-build-logs

  test-pr:
    name: 'Test PR'
    runs-on: [self-hosted, linux, normal]
    needs: version-bump
    steps:
      - name: 'Check out code'
        uses: actions/checkout@v3.3.0
        with:
          submodules: recursive
      - name: 'Set up Docker'
        run: |
          set -euxo pipefail

          K_VERSION="$(cat deps/k_release)"

          KAVM_COMMIT="$(git rev-parse --short=7 HEAD)"

          docker build .                                              \
            --file Dockerfile                                         \
            --build-arg K_VERSION=${K_VERSION}                        \
            --tag runtimeverification/avm-semantics-ci:${KAVM_COMMIT}

          docker stop avm-semantics-ci || true && docker rm avm-semantics-ci || true
          docker run                        \
            --name avm-semantics-ci         \
            --rm                            \
            --interactive                   \
            --detach                        \
            runtimeverification/avm-semantics-ci:${KAVM_COMMIT}

          docker cp . avm-semantics-ci:/home/user
          docker exec avm-semantics-ci chown -R user:user /home/user

      - name: 'Check code style'
        run: docker exec --user user --workdir /home/user -t avm-semantics-ci /bin/bash -c 'make check-kavm-codestyle'
      - name: 'Build AVM semantics'
        run: |
          docker exec --user user --workdir /home/user -t avm-semantics-ci /bin/bash -c 'cd deps/plugin && make clean'
          docker exec --user user --workdir /home/user -t avm-semantics-ci /bin/bash -c 'make build'
      - name: 'Test Bison parsers '
        run: |
          docker exec --user user --workdir /home/user -t avm-semantics-ci /bin/bash -c 'make -j4 test-kavm-bison-parsers'
      - name: 'Test AVM semantics --- scenarious'
        run: |
          docker exec --user user --workdir /home/user -t avm-semantics-ci /bin/bash -c 'THREADS=4 make test-kavm-avm-simulation'
      - name: 'Test AVM semantics --- algod integration'
        run: |
          docker exec --user user --workdir /home/user -t avm-semantics-ci /bin/bash -c 'THREADS=4 make test-kavm-algod'
      - name: 'Test AVM semantics --- proofs --- opcodes'
        run: |
           docker exec --user user --workdir /home/user -t avm-semantics-ci /bin/bash -c 'make -j4 test-avm-semantics-opcode-prove'
      - name: 'Test AVM semantics --- proofs --- transactions'
        run: |
           docker exec --user user --workdir /home/user -t avm-semantics-ci /bin/bash -c 'make -j4 test-avm-semantics-transactions-prove'
      - name: 'Test AVM semantics --- proofs --- app calls'
        run: |
           docker exec --user user --workdir /home/user -t avm-semantics-ci /bin/bash -c 'make -j4 test-avm-semantics-calls-prove'
#      - name: 'Test AVM semantics --- proofs Pact CPMM'
#        run: |
#           docker exec --user user --workdir /home/user -t avm-semantics-ci /bin/bash -c 'make -j4 test-avm-semantics-pact-prove'
      - name: 'Test AVM semantics --- proofs --- PyTeal generated'
        run: |
           docker exec --user user --workdir /home/user -t avm-semantics-ci /bin/bash -c 'THREADS=4 make test-pyteal-prove'
      - name: 'Test AVM semantics --- KCFG proofs --- app calls'
        run: |
           docker exec --user user --workdir /home/user -t avm-semantics-ci /bin/bash -c 'make test-avm-semantics-calls-kcfg-prove'
      - name: 'Tear down Docker'
        if: always()
        run: |
          docker stop --time=0 avm-semantics-ci