Skip to content
hlint

Merge pull request #2241 from ucsd-progsys/fd/vector-0.13.1.0 #712

Sign in to view logs

Merge pull request #2241 from ucsd-progsys/fd/vector-0.13.1.0

Merge pull request #2241 from ucsd-progsys/fd/vector-0.13.1.0 #712

Triggered via push November 20, 2023 10:31
@facundominguezfacundominguez
pushed a54d328
develop
Status Success
Total duration 35s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

hlint.yml

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