Check for copyright header

doc: standard library design principles #8591

Sign in to view logs

Triggered via pull request February 6, 2025 13:14

TwoFX

synchronize #6974

markus/stdlib-best-practices

Status Success

Total duration 37s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files