Skip to content

fix(github): remove prover proxy job from debian publish workflow#2001

Merged
kkovaacs merged 2 commits intomainfrom
krisztian/debian-remove-prover-proxy-job
Apr 24, 2026
Merged

fix(github): remove prover proxy job from debian publish workflow#2001
kkovaacs merged 2 commits intomainfrom
krisztian/debian-remove-prover-proxy-job

Commits

Commits on Apr 24, 2026