Skip to content

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

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

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

Triggered via pull request June 3, 2026 21:53
Status Success
Total duration 15s
Artifacts

pr_lint_license.yaml

on: pull_request
Verify License
12s
Verify License
Fit to window
Zoom out
Zoom in