File tree Expand file tree Collapse file tree 1 file changed +6
-7
lines changed
Expand file tree Collapse file tree 1 file changed +6
-7
lines changed Original file line number Diff line number Diff line change @@ -31,17 +31,16 @@ jobs:
3131 echo "OS=$(uname -s | tr '[:upper:]' '[:lower:]')" >> $GITHUB_ENV
3232 echo "RUNHOME=$(echo $HOME)" >> $GITHUB_ENV
3333
34- - name : Install smlpkg
34+ - name : Install smlpkg (Linux)
35+ if : ${{ env.OS == 'linux' }}
3536 uses : diku-dk/install-smlpkg@v1
3637 with :
3738 version : ' 0.1.5'
3839
39- - name : Set PATH (Macos)
40- if : ${{ env.OS == 'macos' }}
41- working-directory : ${{ env.RUNHOME }}
40+ - name : Install smlpkg (Macos)
41+ if : ${{ env.OS == 'darwin' }}
4242 run : |
43- echo "[OS: $OS, HOME: $RUNHOME]"
44- echo "$HOME/.local/bin" >> $GITHUB_PATH
43+ brew install smlpkg
4544
4645 - name : Check smlpkg
4746 run : |
5251 uses : diku-dk/install-mlkit@v1.0.1
5352
5453 - name : Install MLKit (Macos)
55- if : ${{ env.OS == 'macos ' && matrix.mlcomp == 'mlkit' }}
54+ if : ${{ env.OS == 'darwin ' && matrix.mlcomp == 'mlkit' }}
5655 run : |
5756 brew install mlkit
5857
You can’t perform that action at this time.
0 commit comments