Skip to content

configure: rename build dir for thunk_gen [#146] #343

configure: rename build dir for thunk_gen [#146]

configure: rename build dir for thunk_gen [#146] #343

Triggered via push November 10, 2023 05:57
Status Success
Total duration 17m 31s
Artifacts

ci-build.yml

on: push
Fit to window
Zoom out
Zoom in