Skip to content
certora-gsm

fix : modify GSM signature encoding #51

Sign in to view logs

fix : modify GSM signature encoding

fix : modify GSM signature encoding #51

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

certora-gsm.yml

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

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-5701feb6-74b5-4365-b883-a86321d129db-17383221132
23.2 KB
sha256:c096b56de9f57037cb83e8091c8c15a127b299b6ac70d04afebd7cbbc91e1dea