Skip to content

Editorial: Remove unnecessary undefined type from property descriptor tests #1328

Editorial: Remove unnecessary undefined type from property descriptor tests

Editorial: Remove unnecessary undefined type from property descriptor tests #1328

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 088029201f0de736fdb8f30ca0a96bef26a52089 ;# v0.4.1
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'