Skip to content
Jenkins
log in
Dashboard
CopyrightCheck
#1814
Shell Script
Console Output
Up
Status
Console Output
Console Output
17:11:11
[2023-03-07T22:11:11.974Z]
+ grep -qE Copyright \(c\) ([0-9]{4}), 2023 gc/include/omrmm.hdf
![[Jenkins]](/omr/static/98b404bb/images/svgs/logo.svg){kind=logo}
