Skip to content
certora-gsm

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 1m 37s
Artifacts 1

certora-gsm.yml

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

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-24e9fb68-42ed-4ea3-bfaf-5257a8df00a1-17382736341
23.2 KB
sha256:8fa6cf7a076a0e5c6aee5e5528de587a5dac40f25cd4548b565e33bb84c698d6