Merging #1270 led to failing CI due to wrong copyright years.
This happened because the files in the PR were last changed in 2023 until the merge commit touched them in 2024.
This has already happened in the past when PR reviews carried across the year change but is such a rare occurrence that the pipeline was not enabled to catch this.
Summary
Merging #1270 led to failing CI due to wrong copyright years. This happened because the files in the PR were last changed in 2023 until the merge commit touched them in 2024. This has already happened in the past when PR reviews carried across the year change but is such a rare occurrence that the pipeline was not enabled to catch this.
Details and comments