Trigger CI for https://github.com/leanprover/lean4/pull/6939 · leanprover-community/mathlib4@ae29945

Triggered via push February 5, 2025 01:22

lean-pr-testing-6939

Status Cancelled

Total duration 48m 16s

Artifacts 1

build.yml

on: push

1 error

Canceling since a higher priority waiting request for 'continuous integration-refs/heads/lean-pr-testing-6939. ' exists

Produced during runtime

Name	Size
import-graph Expired	194 KB