disable proof hint generation during call to get_exit_code #2357
Triggered via pull request
September 30, 2024 16:16
rv-jenkins
Status
Cancelled
Total duration
13m 49s
Artifacts
–
test.yml
on: pull_request
Matrix: Build LLVM backend from source
Matrix: Build Ubuntu package
Matrix: Nix flake
Annotations
6 errors and 1 warning
|
Build LLVM backend from source (noble, 17)
Process completed with exit code 1.
|
|
Nix flake (MacM1, self-macos-12)
Process completed with exit code 1.
|
|
Build LLVM backend from source (jammy, 15)
Canceling since a higher priority waiting request for 'Run LLVM backend tests-refs/pull/1153/merge' exists
|
|
Build LLVM backend from source (jammy, 15)
Process completed with exit code 1.
|
|
Nix flake (self-hosted, linux, normal, ubuntu-24.04)
Canceling since a higher priority waiting request for 'Run LLVM backend tests-refs/pull/1153/merge' exists
|
|
Nix flake (self-hosted, linux, normal, ubuntu-24.04)
The operation was canceled.
|
|
Nix flake (MacM1, self-macos-12)
The following actions use a deprecated Node.js version and will be forced to run on node20: cachix/cachix-action@v12. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|