Rust CI

[Experimental - Do not merge] Lean-VM friendly Tweaks #67

Sign in to view logs

Triggered via pull request December 11, 2025 14:36

opened #23

TomWambsgans:lean-vm-friendly-tweaks

Status Success

Total duration 5m 31s

Artifacts –

rust.yml

on: pull_request