SSL Report: release.lean-lang.org
Assessed on:  Sun, 07 Sep 2025 18:28:52 UTC | Clear cache


  Server Test time Grade
1 2606:50c0:8001:0:0:0:0:153
Ready
Sun, 07 Sep 2025 18:16:09 UTC
Duration: 96.280 sec
A
2 2606:50c0:8000:0:0:0:0:153
Ready
Sun, 07 Sep 2025 18:17:45 UTC
Duration: 95.2 sec
A
3 2606:50c0:8003:0:0:0:0:153
Ready
Sun, 07 Sep 2025 18:19:20 UTC
Duration: 95.578 sec
A
4 2606:50c0:8002:0:0:0:0:153
Ready
Sun, 07 Sep 2025 18:20:56 UTC
Duration: 95.164 sec
A
5 185.199.108.153
cdn-185-199-108-153.github.com
Ready
Sun, 07 Sep 2025 18:22:31 UTC
Duration: 95.515 sec
A
6 185.199.110.153
cdn-185-199-110-153.github.com
Ready
Sun, 07 Sep 2025 18:24:07 UTC
Duration: 95.246 sec
A
7 185.199.109.153
cdn-185-199-109-153.github.com
Ready
Sun, 07 Sep 2025 18:25:42 UTC
Duration: 94.768 sec
A
8 185.199.111.153
cdn-185-199-111-153.github.com
Ready
Sun, 07 Sep 2025 18:27:17 UTC
Duration: 95.183 sec
A

SSL Report v2.4.1