#+title: Infra

This directory contains the definition of the VMs that host our infrastructure.
Their configuration can be updated via NixOps4. Run

#+begin_src sh
nixops4 deployments list
#+end_src

to see the available deployments. Given a deployment (eg. ~actions-runners~), run

#+begin_src sh
nixops4 apply <deployment>
#+end_src

* Procolix machines

These machines are hosted on the Procolix Proxmox instance, to which
non-Procolix members of the project do not have access. They host our stable
infrastructure.

| Machine | Description            | Deployment      |
|---------+------------------------+-----------------|
| vm02179 | Forgejo actions runner | actions-runners |
| vm02186 | Forgejo actions runner | actions-runners |