Skip to content

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

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

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

Triggered via pull request June 5, 2026 15:46
Status Failure
Total duration 11s
Artifacts

pr_lint_gha.yaml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error
Lint
Process completed with exit code 1.