Post-compilation hook for Push Notifications

It’d be nice to receive a push notification once a compilation has finished.

Sometimes compilation can take some time, and the developer switches to another window and forget about the compilation.

An option (a toggle) for Push Notification could do it. Or a hook that would invoke a script which would trigger a notification - but I don’t know how to generate push notifications from the console to the browser.