CI updates, prompted by build problems completely unrelated to darcs.
7 patches for repository http://darcs.net/screened:
patch 594c142237ce2f3d1f17ae930052a36a6234c575
Author: Ben Franksen <ben.franksen@online.de>
Date: Thu Mar 16 08:28:11 CET 2023
* ci: use latest releases of ghc-9.2 and ghc-9.4
patch 4ef2a40670b9481c22e3a63646e89bf707f706eb
Author: Ben Franksen <ben.franksen@online.de>
Date: Thu Mar 16 08:31:06 CET 2023
* ci: run tests for ghc-8.4.4, not ghc-8.2.2
Because we cannot install ghc-8.2.2 on the latest ubuntu.
patch 3af6da843d2976c115c52e241c24be0cf9016367
Author: Ben Franksen <ben.franksen@online.de>
Date: Thu Mar 16 09:09:37 CET 2023
* ci: split cabal store caching into separate steps
This feature is new in actions/cache@v3 and allows us to cache the
dependencies even if later steps (like building, haddock, or tests) fail.
patch 693440e299030d8e602aa38b12f20abc6cf1459d
Author: Ben Franksen <ben.franksen@online.de>
Date: Thu Mar 16 08:38:35 CET 2023
* ci: make cabal version explicit to avoid breakage
patch c63edc0ec161c6cd8738936b2ebb70e5148ae649
Author: Ben Franksen <ben.franksen@online.de>
Date: Thu Mar 16 09:30:27 CET 2023
* ci: remove caching of dist-newstyle
I have lately had situations where after changed dependencies in darcs.cabal
I got segmentation faults that disappeared only after a cabal clean and
rebuild. Besides, it never worked anyway: the cabal build step always
recompiled everything, regardless of whether we have a cache hit or not.
patch 2cb8dfdfe0f1f15f3b0384db8f4eac8c9861d7d4
Author: Ben Franksen <ben.franksen@online.de>
Date: Thu Mar 16 16:50:27 CET 2023
* ci: exclude windows-2019 (and explain why)
Note that this means we cannot support darcs on windows-2019 at all.
patch 41f7111521047fb4cb1febeb396afc813178c781
Author: Ben Franksen <ben.franksen@online.de>
Date: Thu Mar 16 08:33:27 CET 2023
* ci: build docs only with latest ghc version
This is mostly to avoid errors when building the docs for a deprecated
indirect dependency (system-fileio) when using ghc-9.0 and ghc-9.2. The
patch also improves dependency caching when we build the docs.
Attachments
|
