5 Commits

Author SHA1 Message Date
David Rusu
7ebee1bf89 use arm64 runner to generate native builds 2026-01-21 14:30:15 +04:00
David Rusu
df27d2781a another attempt at GMP fixes 2026-01-21 13:56:55 +04:00
David Rusu
b5caecaadc fix GMP compilation problems for RPI 2026-01-21 13:41:02 +04:00
David Rusu
3973af3e63 add linux_aarch64 builds for RPI 2026-01-21 13:11:32 +04:00
Alejandro Cabeza Romero
37570240e6
Migrate circuits from nomos-pocs. 2025-10-02 17:55:20 +02:00