GitHub Actions

chore: bump leanVM to 8fcbd779 and leanSpec to latest main #73

Sign in to view logs

Triggered via pull request June 5, 2026 17:25

MegaRedHand

synchronize #408

devnet5-bump-leanmultisig

Status Success

Total duration 9s

Artifacts –

pr_lint_gha.yaml

on: pull_request