[ base ] Add atomically function #874
Triggered via pull request
September 6, 2024 16:56
Matthew-Mosior
Status
Failure
Total duration
32m 43s
Artifacts
–
ci-idris2-and-libs.yml
on: pull_request
initialise
4s
nix-bootstrap-chez
21m 29s
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 47s
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
python@3.12 3.12.5 is already installed and up-to-date.
To reinstall 3.12.5, run:
brew reinstall python@3.12
|
|
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.
|