Check for copyright header

doc: fix typo and make docstring more precise #6169

Sign in to view logs

Triggered via pull request November 8, 2024 08:04

david-christiansen

opened #6009

david-christiansen:prec-docstring-typo

Status Success

Total duration 29s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files