Skip to content
Run Tests

Update dependency: deps/wasm-semantics #135

Sign in to view logs

Update dependency: deps/wasm-semantics

Update dependency: deps/wasm-semantics #135

Triggered via pull request July 13, 2023 15:30
@rv-jenkinsrv-jenkins
opened #114
_update-deps/runtimeverification/wasm-semantics
Status Failure
Total duration 1h 46m 54s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

test-pr.yml

on: pull_request
Simple Tests
20m 59s
Simple Tests
Feature Tests
56m 53s
Feature Tests
Example Contract Tests
28m 44s
Example Contract Tests
Custom Contract Tests
26m 47s
Custom Contract Tests
Fit to window
Zoom out
Zoom in

Annotations

1 error
Example Contract Tests
Process completed with exit code 2.