Closed lslezak closed 1 year ago
Just merging #1322 to master.
master
Coverage: 97.755%. Remained the same when pulling 08bf56ff7e21da9c83fb96eee23a6b7ec9ddd4f0 on remove_exec_master into 1f159378c8195e2df04a32194fcecceed4aeaf00 on master.
:heavy_check_mark: Public Jenkins job #454 successfully finished :heavy_check_mark: Created OBS submit request #1071118
Just merging #1322 to
master
.