Skip to content
Test PR

Update dependency: deps/kevm_release #4941

Sign in to view logs

Update dependency: deps/kevm_release

Update dependency: deps/kevm_release #4941

Triggered via pull request October 10, 2024 14:16
@rv-jenkinsrv-jenkins
opened #862
_update-deps/runtimeverification/evm-semantics
Status Cancelled
Total duration 4m 2s
Artifacts –

test-pr.yml

on: pull_request
Code Quality Checks
2m 59s
Code Quality Checks
Unit Tests
37s
Unit Tests
CSE Tests
43s
CSE Tests
End to End Sanity Tests
44s
End to End Sanity Tests
Docker Tests
43s
Docker Tests
Matrix: Integration Tests
Matrix: Nix Tests
Matrix: Profiling
Fit to window
Zoom out
Zoom in

Annotations

20 errors and 1 warning
Integration Tests (booster)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/862/merge' exists
Integration Tests (booster)
The operation was canceled.
Integration Tests (booster)
Process completed with exit code 1.
Nix Tests (MacM1)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/862/merge' exists
Nix Tests (MacM1)
The operation was canceled.
Unit Tests
Canceling since a higher priority waiting request for 'Test PR-refs/pull/862/merge' exists
Unit Tests
The operation was canceled.
Nix Tests (ubuntu-latest)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/862/merge' exists
Nix Tests (ubuntu-latest)
The operation was canceled.
Nix Tests (macos-13)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/862/merge' exists
End to End Sanity Tests
Canceling since a higher priority waiting request for 'Test PR-refs/pull/862/merge' exists
End to End Sanity Tests
The operation was canceled.
Docker Tests
Canceling since a higher priority waiting request for 'Test PR-refs/pull/862/merge' exists
Docker Tests
The operation was canceled.
Docker Tests
Process completed with exit code 1.
Profiling (booster)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/862/merge' exists
CSE Tests
Canceling since a higher priority waiting request for 'Test PR-refs/pull/862/merge' exists
Integration Tests (legacy)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/862/merge' exists
Profiling (legacy)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/862/merge' exists
Profiling (legacy)
The operation was canceled.
Code Quality Checks
The following actions use a deprecated Node.js version and will be forced to run on node20: Gr1N/setup-poetry@v8. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/