Editorial: Introduce IsStrict() abstract operation #1047
Workflow file for this run
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: 'esmeta typecheck' | |
| on: [pull_request] | |
| jobs: | |
| esmeta-typecheck: | |
| name: 'esmeta typecheck' | |
| runs-on: ubuntu-latest | |
| env: | |
| ESMETA_HOME: vendor/esmeta | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v3 | |
| - name: Setup JDK | |
| uses: actions/setup-java@v3 | |
| with: | |
| distribution: temurin | |
| java-version: 17 | |
| - name: download esmeta | |
| run: | | |
| mkdir -p "${ESMETA_HOME}" | |
| cd "${ESMETA_HOME}" | |
| git init | |
| git remote add origin https://github.com/es-meta/esmeta.git | |
| git fetch --depth 1 origin 38ca7770e6c64861735c6a02c902cf58f533bc73 ;# v0.3.3 | |
| git checkout FETCH_HEAD | |
| - name: build esmeta | |
| run: | | |
| cd "${ESMETA_HOME}" | |
| sbt assembly | |
| - name: link | |
| run: | | |
| rmdir "${ESMETA_HOME}"/ecma262 \ | |
| && ln -s "$(pwd)" "${ESMETA_HOME}"/ecma262 | |
| - name: typecheck | |
| run: '"${ESMETA_HOME}"/bin/esmeta tycheck -status -tycheck:log -tycheck:ignore=esmeta-ignore.json' | |