diff --git a/.github/workflows/master-push.yml b/.github/workflows/master-push.yml deleted file mode 100644 index 04f69ac3..00000000 --- a/.github/workflows/master-push.yml +++ /dev/null @@ -1,36 +0,0 @@ -name: 'Master Push' -on: - push: - branches: - - master - -jobs: - - release: - name: 'Publish Release' - runs-on: ubuntu-latest - environment: production - steps: - - name: 'Check out code' - uses: actions/checkout@v3 - with: - ref: ${{ github.event.push.head.sha }} - fetch-depth: 0 - - name: 'Make release' - env: - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} - run: | - set -x - VERSION=v$(cat package/version) - gh release create ${VERSION} --target ${{ github.sha }} - - name: 'Update dependents' - run: | - set -x - version="$(cat package/version)" - curl --fail \ - -X POST \ - -H "Accept: application/vnd.github+json" \ - -H "Authorization: Bearer ${{ secrets.JENKINS_GITHUB_PAT }}" \ - -H "X-GitHub-Api-Version: 2022-11-28" \ - https://api.github.com/repos/runtimeverification/devops/dispatches \ - -d '{"event_type":"on-demand-test","client_payload":{"repo":"runtimeverification/mx-semantics","version":"'${version}'"}}' diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml index 60e755d2..0589f76e 100644 --- a/.github/workflows/test-pr.yml +++ b/.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 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 + 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 diff --git a/.github/workflows/update-version.yml b/.github/workflows/update-version.yml index a980bb37..931b350d 100644 --- a/.github/workflows/update-version.yml +++ b/.github/workflows/update-version.yml @@ -25,16 +25,6 @@ jobs: git config user.email devops@runtimeverification.com - 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