windows workflow

Author: joneugster

.github/workflows/test.yml

@@ -49,10 +49,6 @@ jobs:
           curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf > elan-init.sh
           sh elan-init.sh -y
           echo "$HOME/.elan/bin" >> $GITHUB_PATH
-      - name: print lean and lake versions
-        run: |
-          lean --version
-          lake --version
       - uses: actions/setup-node@v3
       - run: npm install --loglevel verbose
       - run: npm audit