Less picky.

diku-dk · Jan 3, 2025 · 1a7bbb6 · 1a7bbb6
1 parent 60fb467
commit 1a7bbb6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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/[email protected]
 
       - name: Check