transpile upgradeable

Update dependency halmos to v0.3.1 (#5818) #1535

Sign in to view logs

Triggered via push July 25, 2025 20:19

ernestognw

master

Status Success

Total duration 1m 32s

Artifacts –

upgradeable.yml

on: push