continuous integration (mathlib forks)

feat: positivity of `star x * x` #104439

Sign in to view logs

Triggered via push June 11, 2024 23:58

eric-wieser

eric-wieser/star-regular

Status Success

Total duration 13s

Artifacts –

build_fork.yml

on: push

Lint style (fork)

Cancel Previous Runs (CI)

check workflows (fork)

summarize_declarations

Post-CI job (fork)