Skip to content

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

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

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

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

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in