Skip to content
Run LLVM backend tests

Print print intermediate configurations after some function events in kore-proof-trace #2296

Sign in to view logs

Print print intermediate configurations after some function events in kore-proof-trace

Print print intermediate configurations after some function events in kore-proof-trace #2296

Triggered via pull request August 23, 2024 18:38
@RobertorosmaninhoRobertorosmaninho
synchronize #1139
print-post-function-events
Status Cancelled
Total duration 5m 45s
Artifacts –

test.yml

on: pull_request
Matrix: Build LLVM backend from source
Matrix: Build Ubuntu package
Matrix: Nix flake
Fit to window
Zoom out
Zoom in

Annotations

8 errors
Build LLVM backend from source (jammy, 15)
Process completed with exit code 1.
Build LLVM backend from source (noble, 17)
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)
Canceling since a higher priority waiting request for 'Run LLVM backend tests-refs/pull/1139/merge' exists
Nix flake (MacM1, self-macos-12)
The operation was canceled.
Build Ubuntu package (jammy, 15)
Canceling since a higher priority waiting request for 'Run LLVM backend tests-refs/pull/1139/merge' exists
Build Ubuntu package (noble, 17)
Canceling since a higher priority waiting request for 'Run LLVM backend tests-refs/pull/1139/merge' exists