Skip to content
hlint

Merge pull request #2238 from ucsd-progsys/fd/fix2237 #686

Sign in to view logs

Merge pull request #2238 from ucsd-progsys/fd/fix2237

Merge pull request #2238 from ucsd-progsys/fd/fix2237 #686

Triggered via push November 17, 2023 21:57
@facundominguezfacundominguez
pushed de369ae
develop
Status Success
Total duration 33s
Artifacts –

hlint.yml

on: push
hlint
25s
hlint
Fit to window
Zoom out
Zoom in