diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml
index 19b71b6..b0fa704 100644
--- a/.github/workflows/test.yaml
+++ b/.github/workflows/test.yaml
@@ -229,11 +229,17 @@ jobs:
           cd ..
           mv zip/als-ubuntu.zip .
         fi
-        if [[ ${{ runner.os }} == "macOS" ]]; then
+        if [[ ${{ matrix.os }} == "macos-latest" ]]; then
+          cd zip
+          zip -r als-macos-arm64.zip ./*
+          cd ..
+          mv zip/als-macos-arm64.zip .
+        fi
+        if [[ ${{ matrix.os }} == "macos-13" ]]; then
           cd zip
-          zip -r als-macos.zip ./*
+          zip -r als-macos-x64.zip ./*
           cd ..
-          mv zip/als-macos.zip .
+          mv zip/als-macos-x64.zip .
         fi
 
     - name: 📦 Bundle executable, DLLs and data files (on Windows)
diff --git a/CHANGELOG.md b/CHANGELOG.md
index c2f659d..78542de 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -4,11 +4,17 @@ All notable changes to this project will be documented in this file.
 
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
 
+## v0.2.7.0.1.2 - 2024-12-4
+
+### Fixed
+- Release of artefacts on macOS
+
 ## v0.2.7.0.1.1 - 2024-12-4
 
 ### Added
 - #29: Integration testing for the language server
 - Prebuilt binaries for Intel x64 macOS 
+- Support for Agda-2.7.0.1
 
 ### Changed
 - Unfied workflow for building and testing the language server across all platforms
diff --git a/agda-language-server.cabal b/agda-language-server.cabal
index ca622f6..f1b340b 100644
--- a/agda-language-server.cabal
+++ b/agda-language-server.cabal
@@ -5,7 +5,7 @@ cabal-version: 1.12
 -- see: https://github.com/sol/hpack
 
 name:           agda-language-server
-version:        0.2.7.0.1.1
+version:        0.2.7.0.1.2
 synopsis:       An implementation of language server protocal (LSP) for Agda 2.
 description:    Please see the README on GitHub at <https://github.com/agda/agda-language-server#readme>
 category:       Development
diff --git a/package.yaml b/package.yaml
index 5401948..1706ec6 100644
--- a/package.yaml
+++ b/package.yaml
@@ -1,5 +1,5 @@
 name:                agda-language-server
-version:             0.2.7.0.1.1
+version:             0.2.7.0.1.2
 github:              "banacorn/agda-language-server"
 license:             MIT
 author:              "Ting-Gian LUA"
diff --git a/src/Options.hs b/src/Options.hs
index e1318e2..a63f34d 100644
--- a/src/Options.hs
+++ b/src/Options.hs
@@ -59,7 +59,7 @@ options =
   ]
 
 usage :: String
-usage = "Agda v2.7.0.1 Language Server v1\nUsage: als [Options...]\n"
+usage = "Agda v2.7.0.1 Language Server v2\nUsage: als [Options...]\n"
 
 usageAboutAgdaOptions :: String
 usageAboutAgdaOptions =