Check for modules that should use `prelude`

feat: upstream operation properties from mathlib `Init` #4177

Sign in to view logs

Triggered via pull request September 3, 2024 09:20

opened #5243

Parcly-Taxel:upstream-op-props

Status Success

Total duration 26s

Artifacts –

check-prelude.yml

on: pull_request