Zulip Chat Archive
Stream: CI
Topic: build%20time%20bot
mathlib-bench (Jan 21 2021 at 21:37):
Build%20for%20commit%20%5Bb52b3041f23c91a70517d425ef45b91935b4297f%5D%28https%3A%2F%2Fmathlib-bench.limperg.de%2Fcommit%2Fb52b3041f23c91a70517d425ef45b91935b4297f%29%20finished%20in%201h19m24s
Jannis Limperg (Jan 21 2021 at 21:40):
So it does URL-encode already...
Last updated: Dec 20 2023 at 11:08 UTC