[12:45:01] I don't see any active alerts (re @Yetkin: ToolsDB down?) [12:46:51] ok, it was a temporary problem, I suppose. Woking now 😊 [13:04:19] I saw an error trying to access https://toolsadmin.wikimedia.org/tools/ around the same time. (It's also fine for me now.) [20:29:27] !log jeanfred@tools-sgebastion-10 tools.integraality Deploy 397c5e8 (Also catch ServerError to handle WDQS timeouts) for T384882 [20:29:33] Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Tools.integraality/SAL [21:02:16] !log jeanfred@tools-sgebastion-10 tools.integraality Deploy 2a91226 (Catch WDQS Timeouts and raise proper exception for all SPARQL queries) for T278156 [21:02:20] Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Tools.integraality/SAL