GitLab

Lookup job id when looking for artifacts from upstream pipeline

See merge request !152

Unfortunately the interface [1] we were using previously will not
provide an artifact until a pipeline has successfully finished on the
requested branch.

This partially reverts commit 00db7a0d.

[1] https://docs.gitlab.com/ee/api/job_artifacts.html#download-a-single-artifact-file-from-specific-tag-or-branch

CI: Test GHC 9.2

See merge request !151

Patch deriving-compat-0.5.10 and text-show-3.9

See merge request !149

Previously ghc-artefact-nix would end up using a different nixpkgs from
the rest of the build. I believe this ended up bringing in multiple
incompatible glibcs.

Rework multi-project pipeline triggering

See merge request !148

Small fixes

See merge request !136

Patch th-desugar-1.12 and singletons-base-3.0

See merge request !147

Also add upper version bounds to `hgeometry-ipe`'s `.cabal` file to prevent it
from picking a build plan with `singletons-3.0`.

Patch around BoxedRep changes

See merge request !146

Add patch for numtype-dk-0.5.0.2

See merge request !145

Adapt to "Fix array and cleanup conversion primops"

See merge request !144