continuous integration

chore(Analysis.NormedSpace.Star.Matrix): add missing `nnnorm` lemmas #65153

Sign in to view logs

Triggered via push January 9, 2024 21:34

j-loreaux

j-loreaux/analysis-cstar-matrix-missing-lemmas

Status Success

Total duration 23m 52s

Artifacts –

build.yml

on: push

Check all files imported

Cancel Previous Runs (CI)

check workflows