Render hover labels through MathJax when the whole label is one tex expression #935
KoolADE85ci.yml
on: pull_request
install-and-cibuild
27s
detect-changes
59s
Matrix: make-baselines-b64
Matrix: make-baselines-virtual-webgl
Matrix: make-baselines
timezone-jasmine
1m 12s
flaky-no-gl-jasmine
1m 20s
bundle-jasmine
1m 6s
mathjax-firefoxLatest
42s
noci-jasmine
1m 7s
mock-validation
1m 31s
source-syntax
35s
typecheck
25s
generated-types-drift
31s
maplibre-worker-drift
27s
package-resolution
47s
Matrix: no-gl-jasmine
Matrix: virtual-webgl-jasmine
Matrix: webgl-jasmine-chromeLatest
Matrix: webgl-jasmine
check-regl-codegen
test-baselines-b64
45s
test-baselines-virtual-webgl
37s
test-baselines
49s
test-baselines-mathjax3
26s
test-exports
32s
Annotations
3 errors and 34 warnings
|
mathjax-firefoxLatest
Process completed with exit code 1.
|
|
bundle-jasmine
Process completed with exit code 1.
|
|
flaky-no-gl-jasmine
Process completed with exit code 1.
|
|
make-baselines-mathjax3
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
make-baselines-virtual-webgl (1)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
make-baselines-virtual-webgl (2)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
make-baselines-virtual-webgl (3)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
make-baselines-virtual-webgl (7)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
make-baselines-virtual-webgl (6)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
make-baselines (4)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
make-baselines (9)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
make-baselines (1)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
make-baselines-virtual-webgl (0)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
make-baselines (8)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
make-baselines (7)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
make-baselines (0)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
make-baselines-virtual-webgl (5)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
make-baselines (6)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
make-baselines-virtual-webgl (4)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
make-baselines (3)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
make-baselines (2)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
make-baselines (10)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
make-baselines-b64 (1)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
make-baselines (11)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
make-baselines-b64 (9)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
make-baselines-b64 (8)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
make-baselines (5)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
make-baselines-b64 (2)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
make-baselines-b64 (3)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
make-baselines-b64 (10)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
make-baselines-b64 (7)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
make-baselines-b64 (11)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
make-baselines-b64 (6)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
make-baselines-b64 (0)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
make-baselines-b64 (5)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
make-baselines-b64 (4)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
make-exports
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
baselines-b64-0
|
7.53 MB |
sha256:b2777daa661023e72d1d181a23d82cec9f48fb7627bf8a78d1179bf8d2914db9
|
|
|
baselines-b64-1
|
5.79 MB |
sha256:0a3091f7f640d89a72fd7928cfc88ef88a85d1c786fbc4b904fa654f24317f8c
|
|
|
baselines-b64-10
|
6.6 MB |
sha256:d8fcb906be3ae375d9d2d19de9e391041c08809b2cd59a81edc95fb23e4f83ad
|
|
|
baselines-b64-11
|
10.5 MB |
sha256:d44aa94f4670d83eb6636248358c75fdc1f02a47c4128c4b6dfbcfc80a436e02
|
|
|
baselines-b64-2
|
7.02 MB |
sha256:077f663304771f175a76b5d7f65c52caeb66403980b537de111f5634a53cce9d
|
|
|
baselines-b64-3
|
10.3 MB |
sha256:7ab1c42ed14213956ccb1c4bc129647a493344069f282bcc4911dfffca56caa8
|
|
|
baselines-b64-4
|
6.85 MB |
sha256:3cd57b585794eeded0ef9f566408e1cf1aea5d91cc3fdeb8d27bfb847672db23
|
|
|
baselines-b64-5
|
7.32 MB |
sha256:ae2f124e0c4817cff847b56848f9f0e37f979bf57583b4d5950940b022f3f9e2
|
|
|
baselines-b64-6
|
6.45 MB |
sha256:5bf2e9c9d5daa2eb0a94171e712624f9d6d2136ab59343e465c36b7f1785c054
|
|
|
baselines-b64-7
|
7.11 MB |
sha256:1afa29ca6aaf819cc75c64b162bcf6da7ee0d537943497c5fe9ebe720a448b9c
|
|
|
baselines-b64-8
|
7.82 MB |
sha256:15759d3def544140296c5fdf55c1ec8fc46e500ba29e4961aab07fad8713f075
|
|
|
baselines-b64-9
|
6.87 MB |
sha256:af1e1f29512f1cbd709e27936f49f18f6d6e0c49a4f4e5ad1e0d12aa2724dfef
|
|
|
baselines-default-0
|
7.53 MB |
sha256:adc012c54d027207ce0c1026c540d8fe7e5b6be35c89f547a0eff082214dc30e
|
|
|
baselines-default-1
|
5.79 MB |
sha256:6ea86882306f1cdcd2466ed84833cce752e8cfb1096e497938d083e96972e530
|
|
|
baselines-default-10
|
6.6 MB |
sha256:b8aafd10ff381f862cbe98ed3feb1647fe5dc4ac9275d111c08e53a7fa5857b8
|
|
|
baselines-default-11
|
10.5 MB |
sha256:6d6427b06743502c5613e1a38219b5b09cbf9194b46215410e3a78e52ff1722f
|
|
|
baselines-default-2
|
7.02 MB |
sha256:5bdf796de654a3c03f3e64731a19f296506d612694bb0359dad06184a52e30a4
|
|
|
baselines-default-3
|
10.3 MB |
sha256:c4cdbfdbf2727c5c3289c4b6eff1f22da8fdeac92ade4008ae8f05a69a29bd32
|
|
|
baselines-default-4
|
6.85 MB |
sha256:73fb38c81190e357f1ffd7b06e57d14b0947ce4ed109b91c0995cb3628a460a5
|
|
|
baselines-default-5
|
7.32 MB |
sha256:957ee408defb152214cc4c82431251af4b9c80713a7634d85a3e95d54c03f075
|
|
|
baselines-default-6
|
6.45 MB |
sha256:bfbef4a22602caa8a510aeccd184e0271caae283a938f65adb63b0463f548710
|
|
|
baselines-default-7
|
7.11 MB |
sha256:3ad7055f68bb177b399411ac329b857e30dfde7c9eee97c8882382f2930c7568
|
|
|
baselines-default-8
|
7.82 MB |
sha256:1cd92326d65111c06d766c5411a7780f4fc4164fe5930e1c232533287bd8e9fb
|
|
|
baselines-default-9
|
6.87 MB |
sha256:1f321f112305b6ad1488fab04834f798d514a6a8ff92be4abaf18fbae3f9dff6
|
|
|
baselines-mathjax3
|
571 KB |
sha256:34bcee1174031392406653da2b4240a4662408e53ac40f58c0105ecec249ed0b
|
|
|
baselines-virtual-webgl-0
|
3.31 MB |
sha256:866519b8d2747c6717ba94228badacf9871e569dd3bdc143ad0837ed366fda9e
|
|
|
baselines-virtual-webgl-1
|
2.07 MB |
sha256:1edc96bf227a71808f70daaf1480735bfb0f63d2ea703ee674923a1bf34fc9a9
|
|
|
baselines-virtual-webgl-2
|
2.58 MB |
sha256:19bc11be62c0b50fff758a89efdbd5fecfc0c23e074ed4831828302c24f34cec
|
|
|
baselines-virtual-webgl-3
|
2.66 MB |
sha256:eab4335f168b9114017598c63de5cc674bef3b7649b4b7b6e0cdfaf7010ea471
|
|
|
baselines-virtual-webgl-4
|
5.57 MB |
sha256:ca0e33fe9aaaff3d96393ca74178b5fe6e236f7c126125ffdad0bb026a0623a6
|
|
|
baselines-virtual-webgl-5
|
3 MB |
sha256:b1eca05a66d52061c4a438a27c721438b67317355327d87157386d270c78cc35
|
|
|
baselines-virtual-webgl-6
|
4.05 MB |
sha256:24d873c8d59cb3e483b57f585ef2fac470c44e38a21432d53109ac5062c71dad
|
|
|
baselines-virtual-webgl-7
|
2.88 MB |
sha256:b9f15c68a72dbfcd164d671327d670f9b94faa742f5368e40d6b69929b2a3698
|
|
|
build-output
|
3.49 MB |
sha256:b16ab3f34aeebb0d01381b37b287f6f182b64a76410b034f179132b89cee243c
|
|
|
exports
|
8.41 MB |
sha256:9e8bed3141abb418a20fcfdd5290b9f2d17f9e4852c593a89483565bd9434411
|
|