Skip to content
WASI Build

Merge pull request #4051 from YosysHQ/wasi_ci #10

Sign in to view logs

Merge pull request #4051 from YosysHQ/wasi_ci

Merge pull request #4051 from YosysHQ/wasi_ci #10

Triggered via push December 6, 2023 09:52
@mmickommicko
pushed 45dd9ec
master
Status Success
Total duration 15m 29s
Artifacts –

wasi.yml

on: push
wasi
15m 18s
wasi
Fit to window
Zoom out
Zoom in