10 Commits

Author SHA1 Message Date
Alejandro Cabeza Romero
6a7394e29b
Fix gobjcopy. 2026-04-10 17:31:24 +02:00
Alejandro Cabeza Romero
39d12949e9
Use appropriate objcopy on macos. 2026-04-10 17:31:24 +02:00
Alejandro Cabeza Romero
3a49985d16
Fix macos tool path. 2026-04-10 17:31:24 +02:00
Alejandro Cabeza Romero
062800b917
Compile libraries instead of binaries. 2026-04-10 17:31:23 +02:00
David Rusu
b79e0ff754 rename arm64 to aarch64 2026-01-21 15:45:54 +04:00
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