Testsuite Report Freshness

Upgrade Lean to 4.32.2 #287

Sign in to view logs

Triggered via pull request July 29, 2026 09:37

mfornet

opened #164

codex/upgrade-lean-4.32.2

Status Success

Total duration 17m 15s

Artifacts –

testsuite-report.yml

on: pull_request

Check testsuite_report.txt is up to date