fixes for leanprover/lean4#7672 #177952

Triggered via push March 26, 2025 03:48

kim-em

lean-pr-testing-7672

Status Cancelled

Total duration 6m 29s

Artifacts 1

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yml

on: push

2 errors

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

The operation was canceled.

Produced during runtime

Name	Size	Digest
import-graph Expired	211 KB	`sha256:906b69075d57cb569403d4a9502dba6d457779b5bbe5df086b9c7ebfafc04935`