[ new ] Support for dumping a package's install location #884
Triggered via pull request
September 11, 2024 00:28
mattpolzin
Status
Failure
Total duration
32m 0s
Artifacts
–
ci-idris2-and-libs.yml
on: pull_request
initialise
6s
nix-bootstrap-chez
19m 37s
macos-self-host-chez
7s
ub-test-collie
0s
ub-test-frex
0s
ub-test-elab-util
0s
ub-pack-test-pack
0s
ub-pack-test-lsp
0s
ub-test-katla-and-html
0s
ubuntu-self-host-racket
0s
windows-self-host-racket
2m 38s
Annotations
5 errors and 6 warnings
|
ubuntu-self-host-previous-version
Unable to download artifact(s): Artifact not found for name: ubuntu-installed-idris2-0.7.0-chez
Please ensure that your artifact is not expired and the artifact was uploaded using a compatible version of toolkit/upload-artifact.
For more information, visit the GitHub Artifacts FAQ: https://github.com/actions/toolkit/blob/main/packages/artifact/docs/faq.md
|
|
macos-self-host-chez
Unable to download artifact(s): Artifact not found for name: macos-installed-bootstrapped-idris2-chez
Please ensure that your artifact is not expired and the artifact was uploaded using a compatible version of toolkit/upload-artifact.
For more information, visit the GitHub Artifacts FAQ: https://github.com/actions/toolkit/blob/main/packages/artifact/docs/faq.md
|
|
ubuntu-self-host-chez
Unable to download artifact(s): Artifact not found for name: ubuntu-installed-bootstrapped-idris2-chez
Please ensure that your artifact is not expired and the artifact was uploaded using a compatible version of toolkit/upload-artifact.
For more information, visit the GitHub Artifacts FAQ: https://github.com/actions/toolkit/blob/main/packages/artifact/docs/faq.md
|
|
ubuntu-build-api
Unable to download artifact(s): Artifact not found for name: ubuntu-installed-bootstrapped-idris2-chez
Please ensure that your artifact is not expired and the artifact was uploaded using a compatible version of toolkit/upload-artifact.
For more information, visit the GitHub Artifacts FAQ: https://github.com/actions/toolkit/blob/main/packages/artifact/docs/faq.md
|
|
windows-self-host-racket
Unable to download artifact(s): Artifact not found for name: windows-installed-bootstrapped-idris2-chez
Please ensure that your artifact is not expired and the artifact was uploaded using a compatible version of toolkit/upload-artifact.
For more information, visit the GitHub Artifacts FAQ: https://github.com/actions/toolkit/blob/main/packages/artifact/docs/faq.md
|
|
quick-check
No files were found with the provided path: ~/.idris2/. No artifacts will be uploaded.
|
|
macos-bootstrap-chez
These files were overwritten during the `brew link` step:
|
|
macos-bootstrap-chez
No files were found with the provided path: ~/.idris2/. No artifacts will be uploaded.
|
|
ubuntu-bootstrap-chez
No files were found with the provided path: ~/.idris2/. No artifacts will be uploaded.
|
|
ubuntu-bootstrap-racket
No files were found with the provided path: ~/.idris2/. No artifacts will be uploaded.
|
|
windows-bootstrap-chez
No files were found with the provided path: D:\a\Idris2\Idris2\.idris2. No artifacts will be uploaded.
|