Deploy to NixOS infra on PR merge #433

Closed
opened 2024-12-09 09:23:53 +00:00 by fricklerhandwerk · 1 comment
fricklerhandwerk commented 2024-12-09 09:23:53 +00:00 (Migrated from github.com)

As a contributor to this code I want PRs merged to our official staging deployment, so it stays up to date at all times.

As a contributor to this code I want PRs merged to our official staging deployment, so it stays up to date at all times.
Erethon commented 2025-02-03 18:48:35 +00:00 (Migrated from github.com)

Closing this now that #479 got merged. I've also verified that the latest GitHub action successfully deployed to the NixOS infra.

Closing this now that #479 got merged. I've also verified that the latest GitHub action successfully deployed to the NixOS infra.
Sign in to join this conversation.
No description provided.