Skip to content
Test PR

Update dependency: deps/llvm-backend_release #5486

Sign in to view logs

Update dependency: deps/llvm-backend_release

Update dependency: deps/llvm-backend_release #5486

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

test-pr.yml

on: pull_request
Matrix: Pyk: Code Quality & Unit Tests
Java: Linting
34s
Java: Linting
Pyk: Documentation
45s
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

12 errors
Java: Linting
Canceling since a higher priority waiting request for 'Test PR-refs/pull/4341/merge' exists
Java: Linting
The operation was canceled.
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.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: 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: Documentation
Canceling since a higher priority waiting request for 'Test PR-refs/pull/4341/merge' exists
Pyk: Documentation
The operation was canceled.
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.