Skip to content
Remove outdated labels

Generic/OpeningFunctionBraceKernighanRitchie: fix error position #120

Sign in to view logs

Generic/OpeningFunctionBraceKernighanRitchie: fix error position

Generic/OpeningFunctionBraceKernighanRitchie: fix error position #120

Triggered via pull request December 2, 2023 02:33
@jrfnljrfnl
closed #3871
Status Success
Total duration 16s
Artifacts –

manage-labels.yml

on: pull_request_target
Clean up labels on issue close
0s
Clean up labels on issue close
Clean up labels on PR merge
0s
Clean up labels on PR merge
Clean up labels on PR close
7s
Clean up labels on PR close
Fit to window
Zoom out
Zoom in