Skip to content
hlint

Merge pull request #729 from ucsd-progsys/issue-728 #466

Sign in to view logs

Merge pull request #729 from ucsd-progsys/issue-728

Merge pull request #729 from ucsd-progsys/issue-728 #466

Triggered via push December 23, 2024 04:56
@ranjitjhalaranjitjhala
pushed 9a82815
develop
Status Success
Total duration 25s
Artifacts –

hlint.yml

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