Merge pull request #19 from Mouzayan/feat/gloas-get-ptc-proof · IvanAnishchuk/etheorem@21ac48a

Triggered via push July 25, 2026 23:46

main

Status Failure

Total duration 13s

Artifacts –

mirror-leansha256.yml

on: push

1 error

The ssh-private-key argument is empty. Maybe the secret has not been configured, or you are using a wrong secret name in your workflow file.