Skip to content
hlint

Merge pull request #724 from ucsd-progsys/fd/bagop-sorts #453

Sign in to view logs

Merge pull request #724 from ucsd-progsys/fd/bagop-sorts

Merge pull request #724 from ucsd-progsys/fd/bagop-sorts #453

Triggered via push December 3, 2024 18:44
@facundominguezfacundominguez
pushed 66b710d
develop
Status Success
Total duration 31s
Artifacts –

hlint.yml

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