Use bash for merge artifacts

pull/640/head
Sy Brand 4 months ago
parent 81d4e9634d
commit 4ffcd53640

@ -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

Loading…
Cancel
Save