Skip to content

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

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

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

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

pr_lint_license.yaml

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