Lean Action CI

Finish assignment invariance proof #14

Sign in to view logs

Triggered via push March 1, 2025 15:54

nlohrer

assignment-invariance

Status Success

Total duration 7m 8s

Artifacts –

lean_action_ci.yml

on: push