CI

Reuse Lake builds in Codex worktrees #491

Sign in to view logs

Triggered via pull request July 30, 2026 11:13

mfornet

opened #165

codex/reuse-lake-builds

Status Success

Total duration 23m 43s

Artifacts –

lean_action_ci.yml

on: pull_request

Build CodeLib proofs

Build program proofs