rename: the recursion guest is guests/lean_ethereum.py · leanEthereum/leanVM@09db37f

Triggered via push September 7, 2026 01:55

main

Status Cancelled

Total duration 11s

Artifacts –

rust.yml

on: push

1 error

Canceling since a higher priority waiting request for rust-refs/heads/main exists