continuous integration

Update Mathlib/Analysis/Complex/UpperHalfPlane/ProperAction.lean #392

Sign in to view logs

Triggered via push April 4, 2026 16:45

j-loreaux

fun_prop-SL-GL

Status Skipped

Total duration 1s

Artifacts –

build.yml

on: push

ci / Lint style

ci / Upload to cache

ci / Post-Build Step

ci / Post-CI job