From b5d6ae8295fd658c90914bd0978e3f199bc0b4dd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tam=C3=A1s=20T=C3=B3th?= Date: Tue, 20 Jun 2023 19:03:26 +0200 Subject: [PATCH] Upgrade runner to `macos-13` (#1917) * Upgrade runner to `macos-13` Related: https://github.com/runtimeverification/k/issues/3472 * Set Version: 1.0.211 * .github/master-push: upgrade to macos-13 --------- Co-authored-by: devops Co-authored-by: Everett Hildenbrandt --- .github/workflows/master-push.yml | 6 +++--- .github/workflows/test-pr.yml | 6 +++--- kevm-pyk/pyproject.toml | 2 +- package/debian/changelog | 2 +- package/version | 2 +- 5 files changed, 9 insertions(+), 9 deletions(-) diff --git a/.github/workflows/master-push.yml b/.github/workflows/master-push.yml index 0ee547232f..56f0f11d03 100644 --- a/.github/workflows/master-push.yml +++ b/.github/workflows/master-push.yml @@ -15,7 +15,7 @@ jobs: matrix: include: - runner: normal - - runner: macos-12 + - runner: macos-13 - runner: ARM64 runs-on: ${{ matrix.runner }} steps: @@ -27,14 +27,14 @@ jobs: if: ${{ contains(matrix.os, 'macos') }} run: brew install bash - name: 'Install Nix' - if: ${{ matrix.runner == 'macos-12' }} + if: ${{ matrix.runner == 'macos-13' }} uses: cachix/install-nix-action@v19 with: install_url: https://releases.nixos.org/nix/nix-2.13.3/install extra_nix_config: | access-tokens = github.com=${{ secrets.GITHUB_TOKEN }} - name: 'Install Cachix' - if: ${{ matrix.runner == 'macos-12' }} + if: ${{ matrix.runner == 'macos-13' }} uses: cachix/cachix-action@v12 with: name: k-framework diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml index 9f3bfaa65f..c40fc8b1fa 100644 --- a/.github/workflows/test-pr.yml +++ b/.github/workflows/test-pr.yml @@ -174,7 +174,7 @@ jobs: matrix: include: - runner: normal - - runner: macos-12 + - runner: macos-13 - runner: ARM64 needs: version-bump runs-on: ${{ matrix.runner }} @@ -186,14 +186,14 @@ jobs: # Check out pull request HEAD instead of merge commit. ref: ${{ github.event.pull_request.head.sha }} - name: 'Install Nix' - if: ${{ matrix.runner == 'macos-12' }} + if: ${{ matrix.runner == 'macos-13' }} uses: cachix/install-nix-action@v19 with: install_url: https://releases.nixos.org/nix/nix-2.13.3/install extra_nix_config: | access-tokens = github.com=${{ secrets.GITHUB_TOKEN }} - name: 'Install Cachix' - if: ${{ matrix.runner == 'macos-12' }} + if: ${{ matrix.runner == 'macos-13' }} uses: cachix/cachix-action@v12 with: name: k-framework diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 768ad542d3..f735e6787a 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kevm-pyk" -version = "1.0.210" +version = "1.0.211" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/package/debian/changelog b/package/debian/changelog index 514fba6b15..3b70a75a48 100644 --- a/package/debian/changelog +++ b/package/debian/changelog @@ -1,4 +1,4 @@ -kevm (1.0.210) unstable; urgency=medium +kevm (1.0.211) unstable; urgency=medium * Initial Release. diff --git a/package/version b/package/version index 47682b6723..2be0ce8ccf 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.210 +1.0.211