Skip to content

Merge pull request #3987 from no1wudi/fix #8619

Merge pull request #3987 from no1wudi/fix

Merge pull request #3987 from no1wudi/fix #8619

build_iwasm ($FAST_INTERP_BUILD_OPTIONS, -DWAMR_BUILD_CUSTOM_NAME_SECTION=1, ubuntu-20.04, linux-...

succeeded Dec 28, 2024 in 22s