search

ucsd-progsys / liquidhaskell

Liquid Types For Haskell
BSD 3-Clause "New" or "Revised" License
1.2k stars 139 forks source link

Nightly failed #2343

Closed github-actions[bot] closed 2 months ago

github-actions[bot] commented 2 months ago

The nightly build for GHC HEAD failed. Check the actions for details. https://github.com/ucsd-progsys/liquidhaskell/actions/runs/10940761831

facundominguez commented 2 months ago

Testing notifications. Please, disregard.