Skip to content
Test PR

Update dependency: llvm-backend/src/main/native/llvm-backend #3449

Sign in to view logs

Update dependency: llvm-backend/src/main/native/llvm-backend

Update dependency: llvm-backend/src/main/native/llvm-backend #3449

Triggered via pull request November 7, 2023 02:32
@rv-jenkinsrv-jenkins
synchronize #3791
_update-deps/runtimeverification/llvm-backend
Status Success
Total duration 38m 4s
Artifacts 1
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

test-pr.yml

on: pull_request
Version Sync
11s
Version Sync
Check Java code formatting
21s
Check Java code formatting
Nix: Maven
49s
Nix: Maven
K Ubuntu Jammy Package
26m 1s
K Ubuntu Jammy Package
K Tests
26m 33s
K Tests
Matrix: Nix flake
Performace Tests
10m 53s
Performace Tests
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Check Java code formatting
Version "1.18.1" of Google Java Format cannot be found. Fallback to latest.

Artifacts

Produced during runtime
Name Size
kframework.deb Expired
145 MB