Lean Action CI

Redefine trace equivalence without using ConGen.Rel #21

Sign in to view logs

Triggered via push September 17, 2025 09:49

richwill28

reorg

Status Success

Total duration 2m 45s

Artifacts –

lean_action_ci.yml

on: push