Check for copyright header

refactor: rename `String.split` to `String.splitToList` #18882

Sign in to view logs

Triggered via pull request October 17, 2025 14:19

TwoFX

synchronize #10822

TwoFX:markus/split-to-list

Status Success

Total duration 54s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files