Check Copyright Header

feat(ErdosProblems): 848 #4064

Sign in to view logs

Re-run triggered January 28, 2026 21:58

mo271

#1921

The-Obstacle-Is-The-Way:feat/erdos-848

Status Success

Total duration 10s

Artifacts –

check_copyright_header.yml

on: pull_request

check-copyright