Rust

merge lean-vm simple-into main #574

Sign in to view logs

Triggered via pull request January 23, 2026 18:13

synchronize #137

merge-lean-vm-simple

Status Success

Total duration 5m 13s

Artifacts –

rust.yml

on: pull_request

Matrix: build-test-matrix