diff options
| author | Bartek Iwańczuk <biwanczuk@gmail.com> | 2020-11-03 16:19:29 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-03 16:19:29 +0100 |
| commit | 8e914be7420715620cad74fbb020c5e87ac875a2 (patch) | |
| tree | 2fefc0111f85533de2bd24e54f70c6c1241e3d3b /cli/tests/tla/d.js | |
| parent | e736d0f60f6cdf38e2d317ee08a7125de9e57d69 (diff) | |
build: migrate to dlint (#8176)
This commit migrates repository from using "eslint"
to "dlint" for linting JavaScript code.
Diffstat (limited to 'cli/tests/tla/d.js')
| -rw-r--r-- | cli/tests/tla/d.js | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/cli/tests/tla/d.js b/cli/tests/tla/d.js index 2b5fd3c45..283ebf817 100644 --- a/cli/tests/tla/d.js +++ b/cli/tests/tla/d.js @@ -1,6 +1,8 @@ import order from "./order.js"; const end = Date.now() + 500; -while (end < Date.now()) {} +while (end < Date.now()) { + // pass +} order.push("d"); |