Skip to content
lint

Merge pull request #1078 from EwoutH/patch-8 #1568

Sign in to view logs

Merge pull request #1078 from EwoutH/patch-8

Merge pull request #1078 from EwoutH/patch-8 #1568

Triggered via push December 26, 2023 17:28
@farindkfarindk
pushed a39d305
master
Status Success
Total duration 36s
Artifacts –

lint.yml

on: push
cpplint
10s
cpplint
licenses
4s
licenses
Fit to window
Zoom out
Zoom in