Closed wait-what closed 7 months ago
It seems like the github workflows aren't running anymore. Could you please fix this? I can confirm that manually building still works.
Nevermind, it builds some old 2022 version. I might open a PR if I fix this.
It seems like the github workflows aren't running anymore. Could you please fix this? I can confirm that manually building still works.