Skip to content

Move Reftable class to liquidhaskell where it is needed #387

Move Reftable class to liquidhaskell where it is needed

Move Reftable class to liquidhaskell where it is needed #387

Triggered via pull request October 9, 2024 20:38
Status Success
Total duration 29s
Artifacts

hlint.yml

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