continuous integration (mathlib forks)

feat(Normed/Group): add `nndist_one_right` etc (#17954) #141973

Sign in to view logs

Triggered via push October 19, 2024 22:11

mathlib-bors[bot]

master

Status Success

Total duration 15s

Artifacts –

build_fork.yml

on: push

Lint style (fork)

Cancel Previous Runs (CI)

Post-CI job (fork)