Test PR

Update dependency: deps/llvm-backend_release #5765

Sign in to view logs

Triggered via pull request June 5, 2024 19:05

rv-jenkins

opened #4423

_update-deps/runtimeverification/llvm-backend

Status Cancelled

Total duration 1m 42s

Artifacts –

test-pr.yml

on: pull_request

Matrix: Pyk: Code Quality & Unit Tests

Pyk: Documentation

Code Quality Checks

K: Ubuntu Jammy Package

K: Source Build & Test

Matrix: K: Nix Build & Test

Matrix: Pyk: Nix Build

Pyk: Integration Tests

Pyk: Regression Tests

Annotations

2 errors

Java: Linting

Canceling since a higher priority waiting request for 'Test PR-refs/pull/4423/merge' exists

Java: Linting

The operation was canceled.