Auto-Approve Lifecycle

[anneal] Minimize `Aeneas` imports #626

Sign in to view logs

Triggered via pull request April 13, 2026 14:51

joshlf

opened #3257

Status Success

Total duration 20s

Artifacts –

auto-approve.yml

on: pull_request_target

Optimistic Approve

Strict Queue Gatekeeper

All checks succeeded (auto-approve.yml)