Skip to content
Test PR

Update dependency: deps/kevm_release #429

Sign in to view logs

Update dependency: deps/kevm_release

Update dependency: deps/kevm_release #429

Triggered via pull request October 21, 2023 20:47
@rv-jenkinsrv-jenkins
synchronize #119
_update-deps/runtimeverification/evm-semantics
Status Cancelled
Total duration 6m 53s
Artifacts –

test-pr.yml

on: pull_request
Version Bump
8s
Version Bump
Code Quality Checks
5m 40s
Code Quality Checks
Unit Tests
34s
Unit Tests
Docker Tests
39s
Docker Tests
Matrix: Integration Tests
Matrix: Profiling
Fit to window
Zoom out
Zoom in

Annotations

10 errors
Unit Tests
Canceling since a higher priority waiting request for 'Test PR-refs/pull/119/merge' exists
Unit Tests
The operation was canceled.
Integration Tests (booster)
The operation was canceled.
Profiling (booster)
The operation was canceled.
Profiling (legacy)
The operation was canceled.
Docker Tests
Canceling since a higher priority waiting request for 'Test PR-refs/pull/119/merge' exists
Docker Tests
The operation was canceled.
Docker Tests
Process completed with exit code 1.
Integration Tests (legacy)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/119/merge' exists
Integration Tests (legacy)
The operation was canceled.