Add disposable Lean 4.32 proof verification workflow #1

Triggered via push August 7, 2026 15:50

AdityaVG13

Status Failure

Total duration 22s

Artifacts –

wave2-family5-lean432-check.yml

on: push

1 error and 2 warnings

Docker pull failed with exit code 1

Docker pull failed with exit code 1, back off 7.543 seconds before retry.

Docker pull failed with exit code 1, back off 3.824 seconds before retry.