Skip to content
Check for modules that should use `prelude`

style(Core) : a₁ and a₂ instead of a1 and a2 #7892

Sign in to view logs

style(Core) : a₁ and a₂ instead of a1 and a2

style(Core) : a₁ and a₂ instead of a1 and a2 #7892

Triggered via pull request January 24, 2025 13:43
@madvorakmadvorak
opened #6764
madvorak:master
Status Success
Total duration 16s
Artifacts –

check-prelude.yml

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

Annotations

1 warning
check-prelude
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636