From 08c4be54d03df5cada3541c13cb0e691bcb35b9e Mon Sep 17 00:00:00 2001 From: Martin Elsman Date: Wed, 13 Jan 2021 15:53:33 +0100 Subject: [PATCH] fix --- .github/workflows/main.yml | 2 +- .github/workflows/release.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 0863056..83c029f 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -51,7 +51,7 @@ jobs: - name: Install dependencies run: | brew install make - brew install mlton + brew install mlton - name: Build run: | diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index b6c1a93..086ce67 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -46,7 +46,7 @@ jobs: - name: Install dependencies run: | brew install make - brew install mlton + brew install mlton - name: Build run: |