continuous integration (mathlib forks)

don't put target in the backticks #146240

Sign in to view logs

GitHub Actions / New Contributor Check completed Oct 30, 2024 in 0s

Found 1334 PRs by kim-em.

Found 1334 PRs by kim-em.

View more details on GitHub Actions