Lean Action CI

Add agreeOn_after_copy_inputs helper to consolidate agreement proofs #237

Sign in to view logs

Triggered via push January 7, 2026 13:48

jessealama

cleanup/composition-helpers

Status Success

Total duration 2m 20s

Artifacts –

lean_action_ci.yml

on: push