Skip to content
certora-gho-5.0.5

fix : modify GSM signature encoding #37

Sign in to view logs

fix : modify GSM signature encoding

fix : modify GSM signature encoding #37

Triggered via pull request August 27, 2025 14:18
@KogaroshiKogaroshi
synchronize #8
fix/gsm-sig-encoding
Status Success
Total duration 6m 33s
Artifacts –

certora-gho-505.yml

on: pull_request
Matrix: verify
Fit to window
Zoom out
Zoom in