continuous integration (mathlib forks)

feat: add `nhds_basis_Icc_pos` #32123

Sign in to view logs

Triggered via push June 20, 2023 14:23

urkud

YK-nhds-basis-Icc

Status Success

Total duration 13s

Artifacts –

build_fork.yml

on: push

Lint style (fork)

Check all files imported (fork)

Cancel Previous Runs (CI)

Post-CI job (fork)