Skip to content

Abstract proof trace writer at event level #2277

Abstract proof trace writer at event level

Abstract proof trace writer at event level #2277

Triggered via pull request August 16, 2024 23:58
Status Cancelled
Total duration 53s
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

9 errors
Build Ubuntu package (noble, 17)
Canceling since a higher priority waiting request for 'Run LLVM backend tests-refs/pull/1136/merge' exists
Build Ubuntu package (jammy, 15)
Canceling since a higher priority waiting request for 'Run LLVM backend tests-refs/pull/1136/merge' exists
Build LLVM backend from source (jammy, 15)
Canceling since a higher priority waiting request for 'Run LLVM backend tests-refs/pull/1136/merge' exists
Build LLVM backend from source (noble, 17)
Canceling since a higher priority waiting request for 'Run LLVM backend tests-refs/pull/1136/merge' exists
Build LLVM backend from source (noble, 17)
Process completed with exit code 1.
Nix flake (MacM1, self-macos-12)
Canceling since a higher priority waiting request for 'Run LLVM backend tests-refs/pull/1136/merge' exists
Nix flake (MacM1, self-macos-12)
The operation was canceled.
Nix flake (self-hosted, linux, normal, ubuntu-24.04)
Canceling since a higher priority waiting request for 'Run LLVM backend tests-refs/pull/1136/merge' exists
Nix flake (self-hosted, linux, normal, ubuntu-24.04)
The operation was canceled.