For example, https://github.com/model-checking/kani/pull/3134 ([this commit](https://github.com/model-checking/kani/pull/3134/commits/6422c9c33d8805fbf8150ced2ba0d0a42eb68ce8#diff-f3a3facbaff35cccee27ad3700021e3dee9f8f449ab637520e41cc95cf06a8b0)) added a test without copyright statement, but CI passed.
For example, #3134 (this commit) added a test without copyright statement, but CI passed.