Skip to content

Commit 1541068

Browse files
committed
Mark CI script as executable
1 parent 848a5b3 commit 1541068

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.github/workflows/before_deploy.sh

100644100755
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ main() {
1111
stage=$(mktemp -d)
1212
fi
1313

14-
if [ "$OS_NAME" = "ubuntu-latest" ]; then
14+
if [[ "$OS_NAME" = ubuntu-* ]]; then
1515
cp target/$TARGET/max-opt/asr-debugger $stage/.
1616
elif [ "$OS_NAME" = "macOS-latest" ]; then
1717
cp target/$TARGET/max-opt/asr-debugger $stage/.

0 commit comments

Comments
 (0)