Skip to content

Update to latest k, bringing in recent nix architecture changes #1182

Update to latest k, bringing in recent nix architecture changes

Update to latest k, bringing in recent nix architecture changes #1182

Workflow file for this run

name: 'Run Tests'
on:
pull_request:
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 devops@runtimeverification.com
- 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
with:
submodules: recursive
- name: 'Install Poetry'
uses: Gr1N/setup-poetry@v8
- name: 'Build kmultiversx'
run: make kmultiversx
- name: 'Run code quality checks'
run: make -C kmultiversx check
tests:
runs-on: [self-hosted, linux, normal]
name: 'Tests'
timeout-minutes: 45
steps:
- name: 'Check out code'
uses: actions/checkout@v3
with:
submodules: recursive
- name: 'Set up Docker'
uses: ./.github/actions/with-docker
with:
container-name: elrond-semantics-ci-${{ github.sha }}
- 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
- name: 'KMultiversX Tests'
run: docker exec -t elrond-semantics-ci-${GITHUB_SHA} make -C kmultiversx test
- name: 'Simple Tests'
run: docker exec -t elrond-semantics-ci-${GITHUB_SHA} make test-simple -j6
- name: 'Mandos Tests'
run: docker exec -t elrond-semantics-ci-${GITHUB_SHA} make mandos-test -j6
- name: 'TestApi tests'
run: docker exec -t elrond-semantics-ci-${GITHUB_SHA} make test-testapi
- name: 'Contract Test: Adder'
run: docker exec -t elrond-semantics-ci-${GITHUB_SHA} make test-elrond-adder
- name: 'Contract Test: Crowdfunding ESDT'
run: docker exec -t elrond-semantics-ci-${GITHUB_SHA} make test-elrond-crowdfunding-esdt
- name: 'Contract Test: Multisig'
run: docker exec -t elrond-semantics-ci-${GITHUB_SHA} make test-elrond-multisig
- name: 'Contract Test: NFT Minter'
run: docker exec -t elrond-semantics-ci-${GITHUB_SHA} make test-elrond-nft-minter
- name: 'Contract Tests: Custom'
run: docker exec -t elrond-semantics-ci-${GITHUB_SHA} make test-custom-contracts
- name: 'Tear down Docker'
if: always()
run: |
docker stop --time=0 elrond-semantics-ci-${GITHUB_SHA}
feature-tests:
runs-on: [self-hosted, linux, normal]
name: 'Feature Tests'
timeout-minutes: 45
steps:
- name: 'Check out code'
uses: actions/checkout@v3
with:
submodules: recursive
- name: 'Set up Docker'
uses: ./.github/actions/with-docker
with:
container-name: elrond-semantics-ci-${{ github.sha }}
- name: 'Build kmultiversx'
run: docker exec -t elrond-semantics-ci-${GITHUB_SHA} make kmultiversx
- name: 'Build K definition'
run: docker exec -t elrond-semantics-ci-${GITHUB_SHA} make build
- name: 'Feature Test: Basic'
run: docker exec -t elrond-semantics-ci-${GITHUB_SHA} make test-elrond-basic-features -j6
- name: 'Feature Test: Alloc'
run: docker exec -t elrond-semantics-ci-${GITHUB_SHA} make test-elrond-alloc-features -j6
- name: 'Feature Test: Composability'
run: docker exec -t elrond-semantics-ci-${GITHUB_SHA} make test-elrond-composability-features -j6
- name: 'Tear down Docker'
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: |
nix --version
GC_DONT_GC=1 nix build .#kmultiversx --extra-experimental-features 'nix-command flakes' --print-build-logs