Lean Action CI

Fix termination proof in allGPhases_suffix_preserves_earlier_results #103

Sign in to view logs

Triggered via push January 1, 2026 13:16

jessealama

general-composition

Status Success

Total duration 2m 27s

Artifacts –

lean_action_ci.yml

on: push