fix: make import resolution case-sensitive on all platforms #19315
Triggered via pull request
July 24, 2024 16:54
Kha
Status
Cancelled
Total duration
1h 18m 47s
Artifacts
7
ci.yml
on: pull_request
Annotations
7 errors and 13 warnings
|
Linux
Process completed with exit code 8.
|
|
macOS aarch64
Process completed with exit code 8.
|
|
macOS
Process completed with exit code 8.
|
|
Linux Debug
Process completed with exit code 8.
|
|
Windows
Canceling since a higher priority waiting request for 'CI-refs/pull/4538/merge-pull_request' exists
|
|
Windows
ENOENT: no such file or directory, open 'D:\a\lean4\lean4\build\stage1\test-results.xml'
|
|
Windows
The operation was canceled.
|
|
Linux aarch64
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
Linux 32bit
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
Linux
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
Linux release
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
macOS aarch64
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
macOS aarch64
zstd 1.5.6 is already installed and up-to-date.
To reinstall 1.5.6, run:
brew reinstall zstd
|
|
macOS aarch64
gmp 6.3.0 is already installed and up-to-date.
To reinstall 6.3.0, run:
brew reinstall gmp
|
|
Linux LLVM
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
Web Assembly
The following actions uses Node.js version which is deprecated and will be forced to run on node20: mymindstorm/setup-emsdk@v12, actions/cache@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
macOS
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
macOS
zstd 1.5.6 is already installed and up-to-date.
To reinstall 1.5.6, run:
brew reinstall zstd
|
|
macOS
gmp 6.3.0 is already installed and up-to-date.
To reinstall 6.3.0, run:
brew reinstall gmp
|
|
Linux Debug
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/cache@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
build-Linux 32bit
Expired
|
217 MB |
|
|
build-Linux aarch64
Expired
|
244 MB |
|
|
build-Linux release
Expired
|
245 MB |
|
|
build-Web Assembly
Expired
|
177 MB |
|
|
build-Windows
Expired
|
247 MB |
|
|
build-macOS
Expired
|
238 MB |
|
|
build-macOS aarch64
Expired
|
234 MB |
|