Skip to content
Check for copyright header

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

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 #8047

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

copyright-header.yml

on: pull_request
check-lean-files
25s
check-lean-files
Fit to window
Zoom out
Zoom in

Annotations

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