Skip to content
certora-gsm

fix : modify GSM signature encoding #49

Sign in to view logs

fix : modify GSM signature encoding

fix : modify GSM signature encoding #49

Triggered via pull request September 1, 2025 15:52
@KogaroshiKogaroshi
synchronize #8
fix/gsm-sig-encoding
Status Success
Total duration 1m 54s
Artifacts 1

certora-gsm.yml

on: pull_request
verify
1m 49s
verify
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-999eed0f-3bdd-4432-ad8d-f8b8485126b2-17382328876
23.2 KB
sha256:3acc9bdb961a8a32e9da5ef134656b1bc06dd3b8ab63015665c3d928a28ee8aa