Skip to content
Test PR

Update dependency: deps/k_release #9349

Sign in to view logs

Update dependency: deps/k_release

Update dependency: deps/k_release #9349

Triggered via pull request June 3, 2024 08:21
@rv-jenkinsrv-jenkins
synchronize #2459
_update-deps/runtimeverification/k
Status Success
Total duration 1h 52m 9s
Artifacts –

test-pr.yml

on: pull_request
Code Quality Checks
6m 5s
Code Quality Checks
Version Bump
6s
Version Bump
Unit Tests
2m 8s
Unit Tests
Profiling
2m 4s
Profiling
Build and Test KEVM concrete execution
17m 2s
Build and Test KEVM concrete execution
Matrix: Nix
Matrix: Build and Test KEVM proofs
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
Code Quality Checks
Failed to download action 'https://api.github.com/repos/actions/checkout/tarball/a5ac7e51b41094c92402da3b24376905380afc29'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
Code Quality Checks
Back off 25.836 seconds before retry.
Code Quality Checks
Failed to download action 'https://api.github.com/repos/actions/checkout/tarball/a5ac7e51b41094c92402da3b24376905380afc29'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
Code Quality Checks
Back off 25.056 seconds before retry.