Skip to content

Merge pull request #2472 from ucsd-progsys/fd/qualifiers-renaming2 #1277

Merge pull request #2472 from ucsd-progsys/fd/qualifiers-renaming2

Merge pull request #2472 from ucsd-progsys/fd/qualifiers-renaming2 #1277

Triggered via push January 14, 2025 18:55
Status Success
Total duration 39s
Artifacts

hlint.yml

on: push
Fit to window
Zoom out
Zoom in