Test PR

Update dependency: deps/pyk_release #5873

Triggered via pull request August 22, 2023 22:34

rv-jenkins

synchronize #2029

_update-deps/runtimeverification/pyk

Status Cancelled

Total duration 5m 57s

Artifacts –

test-pr.yml

on: pull_request

Build and Test KEVM concrete execution

42s

Build and Test KEVM haskell proofs

4m 35s

Build and Test KEVM Foundry proofs

3m 50s

Build and Test KEVM Foundry proofs (booster)

12s

Build Ubuntu Jammy DockerHub Image

4m 35s

Matrix: Nix

Annotations

25 errors

Build and Test KEVM concrete execution

Needed a single revision

Build and Test KEVM concrete execution

Unable to find current revision in submodule path 'tests/ethereum-tests/LegacyTests'

Build and Test KEVM concrete execution

Failed to recurse into submodule path 'tests/ethereum-tests'

Build and Test KEVM concrete execution

The process '/usr/bin/git' failed with exit code 1

Build and Test KEVM concrete execution

Process completed with exit code 1.

Build and Test KEVM Foundry proofs (booster)

Needed a single revision

Build and Test KEVM Foundry proofs (booster)

Unable to find current revision in submodule path 'tests/ethereum-tests/LegacyTests'

Build and Test KEVM Foundry proofs (booster)

Failed to recurse into submodule path 'tests/ethereum-tests'

Build and Test KEVM Foundry proofs (booster)

The process '/usr/bin/git' failed with exit code 1

Build and Test KEVM Foundry proofs (booster)

Process completed with exit code 1.

Nix (normal)