transpile upgradeable

Formal verification of Account (7702+7579) (#5872) #1549

Sign in to view logs

Triggered via push August 21, 2025 21:00

Amxx

master

Status Success

Total duration 1m 40s

Artifacts –

upgradeable.yml

on: push