Skip to content

Commit

Permalink
Drop intel mac runners (#675)
Browse files Browse the repository at this point in the history
* Drop intel mac runners

We no longer support these runners in K, and so we can safely drop them
from projects downstream of K now. Doing so also allows us to simplify
our workflow code.

* Set Version: 0.1.83

---------

Co-authored-by: devops <[email protected]>
  • Loading branch information
Baltoli and devops authored Jul 11, 2024
1 parent 521a6c8 commit d58b104
Show file tree
Hide file tree
Showing 4 changed files with 2 additions and 33 deletions.
15 changes: 0 additions & 15 deletions .github/workflows/master-push.yml
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,6 @@ jobs:
matrix:
include:
- runner: normal
- runner: macos-13
- runner: ARM64
runs-on: ${{ matrix.runner }}
steps:
Expand All @@ -53,20 +52,6 @@ jobs:
- name: 'Upgrade bash'
if: ${{ contains(matrix.os, 'macos') }}
run: brew install bash
- name: 'Install Nix'
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-13' }}
uses: cachix/cachix-action@v12
with:
name: k-framework
signingKey: ${{ secrets.CACHIX_SIGNING_KEY }}
skipPush: true
- name: 'Build and cache KWASM'
uses: workflow/[email protected]
env:
Expand Down
16 changes: 0 additions & 16 deletions .github/workflows/test-pr.yml
Original file line number Diff line number Diff line change
Expand Up @@ -115,7 +115,6 @@ jobs:
matrix:
include:
- runner: normal
- runner: macos-13
- runner: ARM64
needs: pykwasm-code-quality-checks
runs-on: ${{ matrix.runner }}
Expand All @@ -126,21 +125,6 @@ jobs:
with:
# Check out pull request HEAD instead of merge commit.
ref: ${{ github.event.pull_request.head.sha }}
- name: 'Install Nix'
if: ${{ matrix.runner == 'macos-13' }}
uses: cachix/install-nix-action@v25
with:
install_url: https://releases.nixos.org/nix/nix-2.19.3/install
extra_nix_config: |
access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
substituters = http://cache.nixos.org https://cache.iog.io
trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ=
- name: 'Install Cachix'
if: ${{ matrix.runner == 'macos-13' }}
uses: cachix/cachix-action@v14
with:
name: k-framework
authToken: ${{ secrets.CACHIX_PUBLIC_TOKEN }}
- name: 'Build KWASM'
run: GC_DONT_GC=1 nix build .#kwasm --extra-experimental-features 'nix-command flakes' --print-build-logs
- name: 'Build KWASM-Pyk'
Expand Down
2 changes: 1 addition & 1 deletion package/version
Original file line number Diff line number Diff line change
@@ -1 +1 @@
0.1.82
0.1.83
2 changes: 1 addition & 1 deletion pykwasm/pyproject.toml
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"

[tool.poetry]
name = "pykwasm"
version = "0.1.82"
version = "0.1.83"
description = ""
authors = [
"Runtime Verification, Inc. <[email protected]>",
Expand Down

0 comments on commit d58b104

Please sign in to comment.