Skip to content

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

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

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

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

pr_lint_license.yaml

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