Skip to content
Test PR

Update dependency: deps/kevm_release #5170

Sign in to view logs

Update dependency: deps/kevm_release

Update dependency: deps/kevm_release #5170

Re-run triggered December 17, 2024 09:03
@palinatolmachpalinatolmach
#917
_update-deps/runtimeverification/evm-semantics
Status Success
Total duration 34m 52s
Artifacts –

test-pr.yml

on: pull_request
Code Quality Checks
3m 33s
Code Quality Checks
Unit Tests
2m 58s
Unit Tests
CSE Tests
22m 16s
CSE Tests
End to End Sanity Tests
19m 35s
End to End Sanity Tests
Docker Tests
15m 26s
Docker Tests
Matrix: Integration Tests
Matrix: Nix Tests
Matrix: Profiling
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 3 warnings
Profiling (legacy)
unable to access 'https://github.com/runtimeverification/kontrol/': The requested URL returned error: 502
Nix Tests (MacM1)
error reading section header 'acknowledgments'
Code Quality Checks
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
Unit Tests
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636