chore: remove proving keys and programs dependency from CI#1978
Merged
SwenSchaeferjohann merged 1 commit intomainfrom Oct 11, 2025
Merged
chore: remove proving keys and programs dependency from CI#1978SwenSchaeferjohann merged 1 commit intomainfrom
SwenSchaeferjohann merged 1 commit intomainfrom