Skip to content
certora-gho-5.0.5

USTB GSM Implementation #244

Sign in to view logs

USTB GSM Implementation

USTB GSM Implementation #244

Triggered via pull request November 30, 2024 00:40
@yan-manyan-man
synchronize #432
feat/gsm-ustb
Status Success
Total duration 6m 14s
Artifacts –

certora-gho-505.yml

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