Skip to content

Merge remote-tracking branch 'origin/pr/873' #521

Merge remote-tracking branch 'origin/pr/873'

Merge remote-tracking branch 'origin/pr/873' #521

Triggered via push September 1, 2023 05:13
Status Success
Total duration 32s
Artifacts

hlint.yaml

on: push
Fit to window
Zoom out
Zoom in