Skip to content
Test PR

Update dependency: deps/llvm-backend_release #5483

Sign in to view logs

Update dependency: deps/llvm-backend_release

Update dependency: deps/llvm-backend_release #5483

Triggered via pull request May 17, 2024 17:59
@rv-jenkinsrv-jenkins
synchronize #4341
_update-deps/runtimeverification/llvm-backend
Status Cancelled
Total duration 1m 17s
Artifacts –

test-pr.yml

on: pull_request
Matrix: Pyk: Code Quality & Unit Tests
Java: Linting
1m 3s
Java: Linting
Pyk: Documentation
58s
Pyk: Documentation
Code Quality Checks
0s
Code Quality Checks
K: Ubuntu Jammy Package
0s
K: Ubuntu Jammy Package
K: Source Build & Test
0s
K: Source Build & Test
Matrix: K: Nix Build & Test
Matrix: Pyk: Nix Build
Pyk: Profiling
0s
Pyk: Profiling
Pyk: Integration Tests
0s
Pyk: Integration Tests
Pyk: Regression Tests
0s
Pyk: Regression Tests
K: Profiling
0s
K: Profiling
Fit to window
Zoom out
Zoom in

Annotations

10 errors
Pyk: Code Quality & Unit Tests (3.12)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/4341/merge' exists
Pyk: Code Quality & Unit Tests (3.12)
The operation was canceled.
Pyk: Code Quality & Unit Tests (3.11)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/4341/merge' exists
Pyk: Code Quality & Unit Tests (3.11)
The operation was canceled.
Pyk: Code Quality & Unit Tests (3.10)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/4341/merge' exists
Pyk: Code Quality & Unit Tests (3.10)
The operation was canceled.
Pyk: Documentation
Canceling since a higher priority waiting request for 'Test PR-refs/pull/4341/merge' exists
Pyk: Documentation
The operation was canceled.
Java: Linting
Canceling since a higher priority waiting request for 'Test PR-refs/pull/4341/merge' exists
Java: Linting
The operation was canceled.