fixes for leanprover/lean4#6342 · leanprover-community/mathlib4@f2f45b2

Triggered via push December 9, 2024 12:57

kim-em

lean-pr-testing-6342

Status Success

Total duration 41m 19s

Artifacts 1

build.yml

on: push

3 warnings

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Produced during runtime

Name	Size
import-graph Expired	182 KB