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.