Air traffic in Riyadh resumed after a temporary hold due to missile strikes by IRGC-backed Houthis.