Skip to content

merge lean-vm simple-into main #574

merge lean-vm simple-into main

merge lean-vm simple-into main #574

Triggered via pull request January 23, 2026 18:13
Status Success
Total duration 5m 13s
Artifacts

rust.yml

on: pull_request
Matrix: build-test-matrix
Fit to window
Zoom out
Zoom in