chore(Order/WithBot): fix recent deprecations · leanprover-community/mathlib4@80d9c1b

Triggered via push April 7, 2025 07:20

fix_with_bot_depr

Status Success

Total duration 46m 39s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size	Digest
import-graph Expired	215 KB	`sha256:e9c2342a9d6f82f92a9073bc6d934394e19cf08100ea73faf268d70e8a74bf25`