diff --git a/ci/merge-artifacts.sh b/ci/merge-artifacts.sh index 03fae48..87511cd 100755 --- a/ci/merge-artifacts.sh +++ b/ci/merge-artifacts.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # Helper script executed on CI once all builds have completed. This takes # `wasi-toolchain-*` artifacts and `wasi-sysroot-*` artifacts and merges