continuous integration

chore: adaptations for batteries#1589 (#35271) #209086

Sign in to view logs

Triggered via push February 13, 2026 23:15

mathlib-bors[bot]

master

Status Success

Total duration 10m 0s

Artifacts –

build.yml

on: push

ci / Lint style

ci / Upload to cache

ci / Post-Build Step

ci / Post-CI job

Annotations

1 warning

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

⚡