CI fixes #1884

facundominguez · 2021-10-14T18:31:53Z

No description provided.

facundominguez · 2021-10-15T01:25:49Z

Lists.hs continues to timeout every now and then. Should we skip this test?

Prover
    foundations
      Lists.hs:                               TIMEOUT (1200.10s)
        Timed out after 1200s

Stop building with ghc 865 and 884 in CI

5dd8f4a

facundominguez force-pushed the fd/fix-ci branch 2 times, most recently from 0493a90 to 58f7c04 Compare October 14, 2021 20:09

facundominguez mentioned this pull request Oct 14, 2021

Update liquid-fixpoint after performance improvements to serialization #1881

Merged

facundominguez force-pushed the fd/fix-ci branch 2 times, most recently from 6052e12 to b1db019 Compare October 14, 2021 20:27

facundominguez added 5 commits October 14, 2021 18:50

Stop using heavy fpco/stack images.

a1a82ee

Wait a bit longer for output in stack jobs

72bb44d

Clear caches

d2831ad

Fix builds of liquidhaskell with aeson >= 2.

ebe1558

Use a newer cabal-install

6ec0a83

facundominguez force-pushed the fd/fix-ci branch from b1db019 to 6ec0a83 Compare October 14, 2021 21:50

Skip Prover.foundations.Lists.hs

6423569

facundominguez marked this pull request as ready for review October 15, 2021 01:57

nikivazou merged commit 0eb6e8d into ucsd-progsys:develop Oct 15, 2021

facundominguez deleted the fd/fix-ci branch October 15, 2021 12:12

facundominguez mentioned this pull request Dec 7, 2021

Could not resolve dependencies #1883

Closed

Provide feedback