continuous integration (mathlib forks)

chore(Order/WithBot): fix recent deprecations #193529

Sign in to view logs

Triggered via push April 7, 2025 07:20

YaelDillies

fix_with_bot_depr

Status Skipped

Total duration 3s

Artifacts –

build_fork.yml

on: push

Lint style (fork)

Post-CI job (fork)

⚡