continuous integration

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

Sign in to view logs

Triggered via push June 11, 2024 23:58

eric-wieser

eric-wieser/star-regular

Status Failure

Total duration 4m 21s

Artifacts –

build.yml

on: push

Cancel Previous Runs (CI)

check workflows

summarize_declarations

Annotations

1 error

Process completed with exit code 1.