This repository was archived by the owner on Jul 30, 2025. It is now read-only.

BAC-189: CI for Shielder Prover Server#286

Merged

Marcin-Radecki merged 4 commits intomainfrom

BAC-189-add-workflow-which-builds-prover-artifacts

Jul 18, 2025