Skip to content
Test PR

Update dependency: deps/kevm_release #5282

Sign in to view logs

Update dependency: deps/kevm_release

Update dependency: deps/kevm_release #5282

Triggered via pull request January 24, 2025 07:53
@rv-jenkinsrv-jenkins
synchronize #942
_update-deps/runtimeverification/evm-semantics
Status Failure
Total duration 56m 38s
Artifacts –

test-pr.yml

on: pull_request
Code Quality Checks
2m 55s
Code Quality Checks
Unit Tests
2m 58s
Unit Tests
CSE Tests
20m 26s
CSE Tests
End to End Sanity Tests
20m 56s
End to End Sanity Tests
Docker Tests
18m 22s
Docker Tests
Matrix: Integration Tests
Matrix: Nix Tests
Matrix: Profiling
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 3 warnings
CSE Tests
Process completed with exit code 2.
End to End Sanity Tests
Process completed with exit code 2.
Integration Tests (booster)
Process completed with exit code 2.
Code Quality Checks
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Unit Tests
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Nix Tests (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636