Def isBlacklisted

Modification history

2025-07-29 13:48

Shake/Main.lean

feat: remove (upstreamed) shake (#27632) …

Deleted isBlacklisted View on Github →

2024-04-07 12:11

Shake/Main.lean

feat: blacklist compiler definitions in shake (#11981) …

Added isBlacklisted View on Github →