Skip to content
Run Tests

Update dependency: deps/wasm-semantics #191

Sign in to view logs

Update dependency: deps/wasm-semantics

Update dependency: deps/wasm-semantics #191

Triggered via pull request August 22, 2023 23:16
@bbyalcinkayabbyalcinkaya
synchronize #127
_update-deps/runtimeverification/wasm-semantics
Status Failure
Total duration 18s
Artifacts –

test-pr.yml

on: pull_request
Simple Tests
9s
Simple Tests
Feature Tests
0s
Feature Tests
Example Contract Tests
0s
Example Contract Tests
Custom Contract Tests
0s
Custom Contract Tests
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Simple Tests
Process completed with exit code 1.
Simple Tests
Process completed with exit code 1.