continuous integration (mathlib forks)

[Merged by Bors] - feat(Algebra): add `AlgHom.ulift` #271478

Sign in to view logs

Triggered via pull request February 20, 2026 23:27

chrisflav

opened #35590

Status Success

Total duration 41m 37s

Artifacts 2

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

Annotations

1 warning

ci (fork) / Build

Cache directory does not exist: /home/lean/.cache/mathlib

Artifacts

Produced during runtime

Name	Size	Digest
cache-staging	158 MB	`sha256:746039ddaa460e49dd5d41a1757653dee3bd16a1e422256350e73e1b0fab4e57`
import-graph Expired	275 KB	`sha256:7fd411ffc600e40f3b11a0ff752e00010d372b07544a105365fd02357a29f014`