WASI Build

verific: add option to skip simplifying complex ports #312

Sign in to view logs

Summary
Jobs
- wasi
Run details
- Usage
- Workflow file

Triggered via pull request January 30, 2024 15:37

mmicko

opened #4173

verific_complex

Status Success

Total duration 15m 22s

Artifacts –

wasi.yml

on: pull_request