Skip to content

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

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

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

Triggered via pull request June 5, 2026 20:55
Status Success
Total duration 17s
Artifacts

pr_lint_license.yaml

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