Check Copyright Header

Fix erdos_455 misformalization #4039

Sign in to view logs

Triggered via pull request January 27, 2026 11:04

mzhorvath1

opened #1901

mzhorvath1:fix-misformalization-2

Status Success

Total duration 10s

Artifacts –

check_copyright_header.yml

on: pull_request

check-copyright