Merge pull request #138 from melted/mac-builder

Add macOS CI

.github/workflows/ci-macos.yml

@@ -0,0 +1,24 @@
+name: macOS
+on:
+  push:
+    branches:
+      - '*'
+    tags:
+      - '*'
+  pull_request:
+    branches:
+      - master
+
+jobs:
+  build:
+    runs-on: macos-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v2
+      - name: Install build dependencies
+        run: |
+          brew install chezscheme
+          brew install coreutils
+      - name: Build and test Idris 2 from bootstrap
+        run: make bootstrap SCHEME=chez
+        shell: bash

README.md

@@ -5,6 +5,7 @@ Idris 2
 [![](https://github.com/idris-lang/Idris2/workflows/Windows/badge.svg)](https://github.com/idris-lang/Idris2/actions?query=workflow%3A"Windows")
 [![](https://github.com/idris-lang/Idris2/workflows/Ubuntu/badge.svg)](https://github.com/idris-lang/Idris2/actions?query=workflow%3A"Ubuntu")
 [![](https://github.com/idris-lang/Idris2/workflows/Ubuntu%20Racket/badge.svg)](https://github.com/idris-lang/Idris2/actions?query=workflow%3A"Ubuntu+Racket")
+[![](https://github.com/idris-lang/Idris2/workflows/macOS/badge.svg)](https://github.com/idris-lang/Idris2/actions?query=workflow%3A"macOS")
 
 [Idris 2](https://idris-lang.org/) is a purely functional programming language
 with first class types.