Closed kimdhamilton closed 8 months ago
Github action to archive lint result.json files. Will update subsequently with a dedicated dif bot github user
Hi Kim, this looks good from my side. Is it ready to merge?
Thanks @BernhardFuchs, yes it's good to go now (I addressed Ankur's comments).
Github action to archive lint result.json files. Will update subsequently with a dedicated dif bot github user