CI: Retry connection to luarocks.org to workaround occasional timeouts
@@ -87,7 +87,8 @@ lua -v
LUAROCKS_BASE=luarocks-$LUAROCKS
-curl --silent --location "https://luarocks.org/releases/$LUAROCKS_BASE.tar.gz" | tar xz
+# retry 5 times, connection to luarocks.org seems to timeout occassionally
+curl --silent --location --retry 5 "https://luarocks.org/releases/$LUAROCKS_BASE.tar.gz" | tar xz
cd "$LUAROCKS_BASE"
