feat(ide): replace hir-ty TypeSystem with resident slang elaboration #1031
hongjr03ci.yml
on: pull_request
Matrix: rust-test
Rust Linting
2m 36s
VS Code Checks
22s
VS Code Web Smoke
4m 39s
CI Success
4s
Annotations
5 errors, 6 warnings, and 5 notices
|
Rust Tests (ubuntu-latest)
Process completed with exit code 101.
|
|
Rust Linting
Process completed with exit code 101.
|
|
Rust Tests (macos-latest)
Process completed with exit code 101.
|
|
Rust Tests (windows-latest)
Process completed with exit code 1.
|
|
CI Success
Process completed with exit code 1.
|
|
VS Code Checks
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/setup-node@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Rust Tests (ubuntu-latest)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Rust Linting
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Rust 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/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
VS Code Web Smoke
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4, actions/setup-node@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Rust 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/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
sccache stats - rust-test
47% - 151 hits, 173 misses, 0 errors
|
|
sccache stats - rust-lint
49% - 214 hits, 219 misses, 0 errors
|
|
sccache stats - rust-test
42% - 134 hits, 188 misses, 0 errors
|
|
sccache stats - vscode-web-smoke
89% - 285 hits, 35 misses, 0 errors
|
|
sccache stats - rust-test
0% - 0 hits, 190 misses, 0 errors
|