Skip to content
hlint

Merge pull request #709 from ucsd-progsys/fd/move-reftable #388

Sign in to view logs

Merge pull request #709 from ucsd-progsys/fd/move-reftable

Merge pull request #709 from ucsd-progsys/fd/move-reftable #388

Triggered via push October 10, 2024 12:03
@facundominguezfacundominguez
pushed e792274
develop
Status Success
Total duration 29s
Artifacts –

hlint.yml

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