8 Commits

Author	SHA1	Message	Date
Alejandro Cabeza Romero	ae843bfb51	Remove rebase leftovers.	2025-08-05 15:30:35 +02:00
Alejandro Cabeza Romero	a773b0fe4e	Update tar.gz filename.	2025-08-05 15:30:35 +02:00
Alejandro Cabeza Romero	761384d2e0	Update steps' names.	2025-08-05 15:30:35 +02:00
Alejandro Cabeza Romero	2266632081	Add comments to resources.	2025-08-05 15:30:35 +02:00
Alejandro Cabeza Romero	32fb3bc0ff	Update workflow name.	2025-08-05 15:30:35 +02:00
Alejandro Cabeza Romero	73c1728d56	Implement working builder for prover and witness generator and all main OSs.	2025-08-05 15:30:35 +02:00
Alejandro Cabeza Romero	52e0bf95de	Add required resources for compilation.	2025-08-05 15:30:35 +02:00
Álex	653096c87d	ci: Witness Generator building (#80) ... * Implement github workflow for natively building the witness generator in linux, windows and macos. * Add release publishing.	2025-08-05 15:23:58 +02:00