Skip to content
hlint

Merge pull request #713 from ucsd-progsys/fd/remove-miscs #410

Sign in to view logs

Merge pull request #713 from ucsd-progsys/fd/remove-miscs

Merge pull request #713 from ucsd-progsys/fd/remove-miscs #410

Triggered via push October 18, 2024 21:25
@facundominguezfacundominguez
pushed 08ae7be
develop
Status Success
Total duration 28s
Artifacts –

hlint.yml

on: push
hlint-3.8
18s
hlint-3.8
Fit to window
Zoom out
Zoom in