[ base ] Add atomically function #878
Triggered via pull request
September 7, 2024 14:49
Status
Cancelled
Total duration
9m 44s
Artifacts
–
ci-idris2-and-libs.yml
on: pull_request
initialise
5s
nix-bootstrap-chez
3m 25s
macos-self-host-chez
0s
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
0s
Annotations
11 errors and 2 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
|
windows-bootstrap-chez
Canceling since a higher priority waiting request for 'refs/pull/3380/merge' exists
|
windows-bootstrap-chez
The operation was canceled.
|
ubuntu-bootstrap-racket
Canceling since a higher priority waiting request for 'refs/pull/3380/merge' exists
|
ubuntu-bootstrap-racket
The operation was canceled.
|
ubuntu-bootstrap-chez
Canceling since a higher priority waiting request for 'refs/pull/3380/merge' exists
|
ubuntu-bootstrap-chez
The operation was canceled.
|
nix-bootstrap-chez
Canceling since a higher priority waiting request for 'refs/pull/3380/merge' exists
|
nix-bootstrap-chez
The operation was canceled.
|
macos-bootstrap-chez
Canceling since a higher priority waiting request for 'refs/pull/3380/merge' exists
|
macos-bootstrap-chez
The operation was canceled.
|
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
|