Test

Update dependency: deps/k_release #495

Sign in to view logs

Re-run triggered September 4, 2024 02:52

ehildenb

#40

_update-deps/runtimeverification/k

Status Failure

Total duration 7m 6s

Artifacts –

test.yml

on: pull_request

Code Quality Checks

Annotations

1 error

Build and Test

Process completed with exit code 126.