Open github-actions[bot] opened 2 days ago
The weekly build for GHC HEAD failed. Check the actions for details. https://github.com/ucsd-progsys/liquidhaskell/actions/runs/11101881403
The weekly build for GHC HEAD failed. Check the actions for details. https://github.com/ucsd-progsys/liquidhaskell/actions/runs/11101881403