continuous integration (mathlib forks)

[Merged by Bors] - chore: update Mathlib dependencies 2026-02-25 #272355

Sign in to view logs

Triggered via pull request February 25, 2026 04:42

mathlib-update-dependencies[bot]

opened #35749

Status Skipped

Total duration 1s

Artifacts –

build_fork.yml

on: pull_request_target

ci (fork) / Build

ci (fork) / Lint style

ci (fork) / Upload to cache

ci (fork) / Post-Build Step

ci (fork) / Post-CI job

⚡