wasi: remove gotip binary (#1543)

Signed-off-by: Edoardo Vacchi <evacchi@users.noreply.github.com>
This commit is contained in:
Edoardo Vacchi
2023-06-29 10:34:51 +02:00
committed by GitHub
parent 39f2ff23a6
commit 9762d5b28d