workflow

melsman · Sep 2, 2024 · b56db04 · b56db04
1 parent f1cbd36
commit b56db04
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -21,8 +21,8 @@ jobs:
     strategy:
       matrix:
         os: [ubuntu-20.04, macos-12]
-#        mlcomp: [mlkit, mlton]
-        mlcomp: [mlton]
+        mlcomp: [mlkit, mlton]
+#        mlcomp: [mlton]
 
     runs-on: ${{ matrix.os }}
 
@@ -42,7 +42,7 @@ jobs:
           wget https://github.com/diku-dk/smlpkg/releases/download/v0.1.4/smlpkg-bin-dist-${{env.OS}}.tgz
           tar xzf smlpkg-bin-dist-${{env.OS}}.tgz
           echo "$HOME/smlpkg-bin-dist-${{env.OS}}/bin" >> $GITHUB_PATH
-          wget https://github.com/melsman/mlkit/releases/download/v4.5.4/mlkit-bin-dist-${{env.OS}}.tgz
+          wget https://github.com/melsman/mlkit/releases/download/v4.7.11/mlkit-bin-dist-${{env.OS}}.tgz
           tar xzf mlkit-bin-dist-${{env.OS}}.tgz
           echo "$HOME/mlkit-bin-dist-${{env.OS}}/bin" >> $GITHUB_PATH
           mkdir -p .mlkit