Skip to content

Merge remote-tracking branch 'github/pull/820' #5253

Merge remote-tracking branch 'github/pull/820'

Merge remote-tracking branch 'github/pull/820' #5253

Triggered via push December 18, 2025 19:18
Status Success
Total duration 19m 36s
Artifacts

cookstyle.yml

on: push
Cookstyle
23s
Cookstyle
Fit to window
Zoom out
Zoom in