search

purescript / registry-dev

Development work related to the PureScript Registry
https://github.com/purescript/registry
95 stars 80 forks source link

Add healthchecks to server #654

Closed thomashoneyman closed 1 year ago

thomashoneyman commented 1 year ago

Closes #648 by registering the server with both uptimerobot.com and healthchecks.io. Uptime Robot pings our server, and we ping Health Checks.

In the future we can build out the health check to be more than just a GET request; it could notify a 'start' event, then do some integrity checking on the server (we're in sync with the upstream Git repositories, the storage is in sync with the manifest index, etc.), then notify a 'verified' event. But for now it's just notifying that it's alive.

As seen earlier today, these checks are integrated into the #infrastructure channel in Discord as well as the pacchettibotti email, so we'll be notified if the server runs into any hiccups.

thomashoneyman commented 1 year ago

(Note: the code as seen here has already been deployed, for testing.)

thomashoneyman commented 1 year ago

I've made that a required (secret) env var, and set the actual values elsewhere. The server is updated.