Update workflow name.

This commit is contained in:
Alejandro Cabeza Romero 2025-07-29 16:15:25 +02:00
parent 73c1728d56
commit 32fb3bc0ff
No known key found for this signature in database
GPG Key ID: DA3D14AE478030FD

View File

@ -1,4 +1,4 @@
name: Build Witness Generator
name: Build Circuits
on:
push: