diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 3a63dc0..046097f 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -12,7 +12,7 @@ jobs: sudo apt-get -qq update sudo apt-get install -y make - - uses: diku-dk/install-mlton@v1.0.0 + - uses: diku-dk/install-mlton@v1 - uses: diku-dk/install-mlkit@v1.0.1 - name: Check