js-slang
js-slang copied to clipboard
Upgrade gl to v8
Description
Refer to their release notes.
Now, we have prebuilt binaries shipped for most systems, so it will save us so much time (and compute resources – especially for GitHub Actions runners) to not have to build from source each time.
Beyond that, they also add GCC 13 support. Closes #1417. Will also close #1508 as unplanned (as the root cause is fixed – no more motivation to necessarily move out).
Also updates to latest Yarn and bumps Prettier
@sayomaki we need to figure out how to resolve the require on ESM error&hellip... it's blocking our gl migration for both frontend and js-slang :(
Should we just use Yarn 3?
@sayomaki I think best to just use latest Yarn. Doesn't hurt anyway.
Pull Request Test Coverage Report for Build 10403964584
Details
- 61 of 83 (73.49%) changed or added relevant lines in 13 files are covered.
- 7 unchanged lines in 3 files lost coverage.
- Overall coverage decreased (-0.03%) to 81.499%
Changes Missing Coverage | Covered Lines | Changed/Added Lines | % |
---|---|---|---|
src/modules/errors.ts | 3 | 5 | 60.0% |
src/errors/typeErrors.ts | 25 | 31 | 80.65% |
src/typeChecker/internalTypeErrors.ts | 2 | 8 | 25.0% |
src/errors/errors.ts | 9 | 17 | 52.94% |
<!-- | Total: | 61 | 83 |
Files with Coverage Reduction | New Missed Lines | % |
---|---|---|
src/modules/errors.ts | 1 | 75.0% |
src/typeChecker/internalTypeErrors.ts | 3 | 42.11% |
src/errors/errors.ts | 3 | 65.15% |
<!-- | Total: | 7 |
Totals | |
---|---|
Change from base Build 9988348374: | -0.03% |
Covered Lines: | 10946 |
Relevant Lines: | 13065 |