Print print intermediate configurations after some function events in kore-proof-trace
#2297
Triggered via pull request
August 23, 2024 18:44
Robertorosmaninho
Status
Cancelled
Total duration
13m 28s
Artifacts
–
test.yml
on: pull_request
Matrix: Build LLVM backend from source
Matrix: Build Ubuntu package
Matrix: Nix flake
Annotations
5 errors and 1 warning
|
Build LLVM backend from source (noble, 17)
Process completed with exit code 1.
|
|
Build LLVM backend from source (jammy, 15)
Process completed with exit code 1.
|
|
Nix flake (MacM1, self-macos-12)
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/1139/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/
|