-
Discussed at https://leanprover.zulipchat.com/#narrow/channel/458659-Equational/topic/Thoughts.20and.20impressions.20thread/near/482659072
-
In [`833838d`](https://github.com/protocol/upptime-pln/commit/833838d453562d7e08c059cd471570f501feb188
), ipfs-thing.events (https://ipfs-thing.events) was **down**:
- HTTP code: 502
- Response time: …
-
-
In [`2a70ff6`](https://github.com/protocol/upptime-pln/commit/2a70ff6c2338db10d73d9eca0dfa9600a145e274
), explore.ipld.io (https://explore.ipld.io) was **down**:
- HTTP code: 502
- Response time: 588 …
-
We would like to the EC2 Instances on during the work week: come down on Friday, 8PM local time come up on Monday, 8AM local time
The closest option we found was:
```
Begin Time: 00:00
End Tim…
-
### IDE Information
GoLand 2024.3
Build #GO-243.21565.208, built on November 13, 2024
Licensed to Michael Henderson
Subscription is active until January 31, 2025.
Runtime version: 21.0.5+8-b631.1…
-
-
I want to go to Paris, France because I want to see the Eiffel Tower.
-
### Summary
A clear and concise description of what the bug is, and what you expected to happen.
### How to reproduce
1. Go to '...'
2. Click on '...'
3. Scroll down to '...'
4. See error
…
-
In [`a1d6a72`](https://github.com/protocol/upptime-pln/commit/a1d6a72f430c757740855ca220d177ed4635be43
), cid.ipfs.tech (https://cid.ipfs.tech) was **down**:
- HTTP code: 502
- Response time: 448 ms