Disable benchmark exe on Windows since core_bench not supported. #96
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Validate Pull Request | |
| on: [push, pull_request] | |
| jobs: | |
| lint: | |
| name: lint lockdir | |
| runs-on: macos-latest | |
| steps: | |
| - uses: actions/setup-node@v1 | |
| with: | |
| node-version: 12 | |
| - uses: actions/checkout@v1 | |
| - name: Install esy | |
| run: npm install -g esy | |
| - name: Update lockdir | |
| run: | | |
| rm -rf esy.lock package-ci-4.06.esy.lock package-ci-4.07.esy.lock package-ci-4.08.esy.lock | |
| esy install | |
| esy install -P package-ci-4.06 || true | |
| esy install -P package-ci-4.07 || true | |
| esy install -P package-ci-4.08 || true | |
| git add *lock | |
| - name: Print esy cache | |
| id: print_esy_cache | |
| run: node .github/workflows/print_esy_cache.js | |
| - name: Try to restore dependencies cache | |
| id: deps-cache-macos | |
| uses: actions/cache@v1 | |
| with: | |
| path: ${{ steps.print_esy_cache.outputs.esy_cache }} | |
| key: macOS-latest-4.08-${{ hashFiles('**/index.json') }} | |
| - name: Build dependencies | |
| if: steps.deps-cache-macos.outputs.cache-hit != 'true' | |
| run: esy build-dependencies --release -P package-ci-4.08 | |
| - name: Generate opam files | |
| run: | | |
| esy build -P package-ci-4.08 dune build @check | |
| git add *opam | |
| - name: format sources files | |
| run: | | |
| esy build -P package-ci-4.08 fmt | |
| git add "*.re" "*.rei" | |
| - name: Check that lock directory are up-to-date. | |
| run: git diff --exit-code --cached | |
| - name: Push if it is not | |
| if: failure() | |
| run: | | |
| git remote set-url --push origin https://$GITHUB_ACTOR:[email protected]/$GITHUB_REPOSITORY | |
| git config user.name "Github Runner" | |
| git config user.email "[email protected]" | |
| git commit -am "Update lockdir" | |
| git status | |
| git push origin HEAD:$GITHUB_REF | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| - name: Display status should be clean | |
| run: git status | |
| if: success() | |
| - uses: actions/[email protected] | |
| if: failure() | |
| with: | |
| github-token: ${{secrets.GITHUB_TOKEN}} | |
| script: | | |
| github.issues.createComment({...context.issue, body: `I have updated your lock dirs and formatted the code. Please @${context.actor} pull the last commit before pushing any more changes.`}); |