automerge

2025-10-27 lean nightly update #2745

Sign in to view logs

Summary
Jobs
- automerge
Run details
- Usage
- Workflow file

Triggered via pull request November 1, 2025 21:47

synchronize #1798

auto-mathlib-update-2025-10-27

Status Success

Total duration 7s

Artifacts –

automerge.yml

on: pull_request