Deploy to NixOS infra on PR merge #433
Description
As a contributor to this code I want PRs merged to our official staging deployment, so it stays up to date at all times.
{{ message }}
As a contributor to this code I want PRs merged to our official staging deployment, so it stays up to date at all times.