Munge about a bit more · leanprover-community/mathlib4@7377b9a

Triggered via push February 12, 2025 21:43

mans0954

Status Cancelled

Total duration 7m 1s

Artifacts 1

build.yml

on: push

2 errors and 1 warning

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

The operation was canceled.

Runner hoskinson7 did not respond to a cancelation request with 00:05:00.

Produced during runtime

Name	Size
import-graph Expired	197 KB