Skip to content

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

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

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

Triggered via pull request June 5, 2026 16:05
Status Failure
Total duration 10m 8s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error
Test
Process completed with exit code 2.