Lean Action CI

Extract Part.sequence to standalone module for potential Mathlib cont… #272

Sign in to view logs

Triggered via push January 10, 2026 14:16

jessealama

part-sequence-extraction

Status Success

Total duration 3m 4s

Artifacts –

lean_action_ci.yml

on: push