Skip to content
certora-gsm-4626

fix : modify GSM signature encoding #50

Sign in to view logs

fix : modify GSM signature encoding

fix : modify GSM signature encoding #50

Triggered via pull request September 1, 2025 16:14
@KogaroshiKogaroshi
synchronize #8
fix/gsm-sig-encoding
Status Success
Total duration 2m 30s
Artifacts 1

certora-gsm-4626.yml

on: pull_request
verify
2m 25s
verify
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-1cef23be-6fce-4339-9e4b-10cc5cdf5da9-17382736331
28.1 KB
sha256:b2c913aea4d398028ee128e8e5211c6817fa406f3cdb7f2dca09ec6881e58bcb