New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Build liquid-fixpoint with ghc-9.4.7 in CI #661

Merged

facundominguez merged 2 commits into develop from fd/ghc-9.4.7

Nov 19, 2023

Collaborator

facundominguez commented Nov 19, 2023

No description provided.

facundominguez force-pushed the fd/ghc-9.4.7 branch 2 times, most recently from c60ac9b to 3563eb0 Compare

November 19, 2023 13:16


          Build liquid-fixpoint with ghc-9.4.7 in CI

82e6cbb

facundominguez force-pushed the fd/ghc-9.4.7 branch from 3563eb0 to 82e6cbb Compare

November 19, 2023 14:22


          Continue to run stan with ghc 8.10.7

b27aaa4

Collaborator Author

facundominguez commented Nov 19, 2023 •

edited

Loading

stan is failing to run with ghc 9.4, so I'm keeping it at ghc 8.10.7 for now.
kowainik/stan#541

facundominguez merged commit c253dc1 into develop

11 checks passed

facundominguez deleted the fd/ghc-9.4.7 branch

November 19, 2023 18:20

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet