Skip to content
Build and Deploy

Performance improvements typechecker #5186

Sign in to view logs

Performance improvements typechecker

Performance improvements typechecker #5186

Triggered via pull request August 19, 2026 20:06
@sungshiksungshik
synchronize #2849
performance-improvements-main
Status Success
Total duration 18m 45s
Artifacts 1

build.yaml

on: pull_request
test-linux
5m 1s
test-linux
builds
12m 54s
builds
compiler-tests
9m 29s
compiler-tests
Matrix: tests
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
test-linux
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
tests (macos-latest)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
tests (windows-latest)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
compiler-tests
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea. 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
rascal-2849-af0320ecafa4986427ae3775a9f630a12d911a93
88.4 MB
sha256:ccd7fbb8967da8ed0b1ee25eecee91ab34e6162ba400e066875cb786e061ecdf