continuous integration (staging)

chore: split Data.Complex.Basic (#8355) #5264

Sign in to view logs

Triggered via push November 14, 2023 03:24

mathlib-bors[bot]

staging

Status Success

Total duration 1h 1m 49s

Artifacts –

bors.yml

on: push

Check all files imported

Cancel Previous Runs (CI)

check workflows