Skip to content
Back to pull request #911

Update dependency: deps/kevm_release #5161

Sign in to view logs

Update dependency: deps/kevm_release

Update dependency: deps/kevm_release #5161

Triggered via pull request December 16, 2024 14:06
@rv-jenkinsrv-jenkins
synchronize #911
_update-deps/runtimeverification/evm-semantics
Status Success
Total duration 52m 24s
Artifacts –

test-pr.yml

on: pull_request
Code Quality Checks
2m 53s
Code Quality Checks
Unit Tests
2m 44s
Unit Tests
CSE Tests
25m 50s
CSE Tests
End to End Sanity Tests
17m 18s
End to End Sanity Tests
Docker Tests
22m 41s
Docker Tests
Matrix: Integration Tests
Matrix: Nix Tests
Matrix: Profiling
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
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