Check Copyright Header

Fix erdos_454 misformalization #4022

Sign in to view logs

Triggered via pull request January 26, 2026 17:27

mzhorvath1

synchronize #1898

mzhorvath1:fix-misformalization

Status Success

Total duration 10s

Artifacts –

check_copyright_header.yml

on: pull_request

check-copyright