Also, the latest release is nearly a year old. Is this correct? There have been quite a few commits since then. However, the pipeline seems to be broken and no

Also, the latest release is nearly a year old. Is this correct? There have been quite a few commits since then. However, the pipeline seems to be broken and no longer(?) produces binaries.