automerge

2025-10-29 lean nightly update #2746

Sign in to view logs

Summary
Jobs
- automerge
Run details
- Usage
- Workflow file

Triggered via pull request November 1, 2025 21:47

synchronize #1804

auto-mathlib-update-2025-10-29

Status Success

Total duration 8s

Artifacts –

automerge.yml

on: pull_request