Lint

[PoC] Rename `TopLevel` to `File` #1080

Sign in to view logs

Triggered via pull request December 17, 2025 21:06

st0012

opened #1507

rename-top-level-to-file

Status Success

Total duration 34s

Artifacts –

lint.yml

on: pull_request