Skip to content

feat: make loose docstrings into elaboration errors rather than parse errors #4273

feat: make loose docstrings into elaboration errors rather than parse errors

feat: make loose docstrings into elaboration errors rather than parse errors #4273

Triggered via pull request September 7, 2024 21:19
Status Success
Total duration 15s
Artifacts

check-prelude.yml

on: pull_request
check-prelude
5s
check-prelude
Fit to window
Zoom out
Zoom in