Update dependency: deps/wasm-semantics #201

Sign in to view logs

Triggered via pull request August 24, 2023 14:49

synchronize #127

_update-deps/runtimeverification/wasm-semantics

Status Cancelled

Total duration 2m 40s

Artifacts –

test-pr.yml

on: pull_request

Example Contract Tests

Custom Contract Tests

Annotations

2 errors

Simple Tests

The operation was canceled.

Simple Tests

Process completed with exit code 1.