Golf · leanprover-community/mathlib4@d7b3908

Triggered via push February 12, 2025 21:22

mans0954

Status Cancelled

Total duration 8m 9s

Artifacts 1

build.yml

on: push

1 error

Canceling since a higher priority waiting request for 'continuous integration-refs/heads/mans0954/quadratic-basis_expansion. ' exists

Produced during runtime

Name	Size
import-graph Expired	197 KB