Skip to content

Merge pull request #3987 from no1wudi/fix #7511

Merge pull request #3987 from no1wudi/fix

Merge pull request #3987 from no1wudi/fix #7511

build_iwasm ($FAST_INTERP_BUILD_OPTIONS, -DWAMR_BUILD_CUSTOM_NAME_SECTION=1, ubuntu-22.04, linux)

succeeded Dec 28, 2024 in 12s