Skip to content

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

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

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

Triggered via pull request June 5, 2026 16:05
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