Skip to content

Conversation

@ulysses4ever
Copy link
Collaborator

@ulysses4ever ulysses4ever commented Apr 3, 2025

For this patch I

The only weak point is the second one: if we ever need to update the image, it will require my participation. Or someone else can host it and switch CI scripts again (which should be easy).

CI timings are down to:

  • linear builds: 1 min
  • liquid: 13 mins

It used to be 14 and 23.


For posterity, here's how to build and push the image:

cd lh-array-sort-newdocker build -t ghcr.io/ulysses4ever/lh-array-sort .docker push ghcr.io/ulysses4ever/lh-array-sort:latest

The image needs to be rebuilt whenever we change the dependency tree somehow. This includes updates to the version of GHC we're using.

@ulysses4ever ulysses4ever changed the title Containerize liquid builds Containerize CI builds Apr 3, 2025
@ulysses4ever ulysses4ever marked this pull request as ready for review April 3, 2025 16:14
- add Dockerfile
- resulting image is deployed at ghcr.io/ulysses4ever/lh-array-sort
- CI scripts pull this image
@ulysses4ever ulysses4ever linked an issue Apr 4, 2025 that may be closed by this pull request
@vidsinghal vidsinghal self-requested a review April 5, 2025 01:57
@ulysses4ever ulysses4ever merged commit 954555b into main Apr 5, 2025
5 checks passed
@ulysses4ever ulysses4ever deleted the ci-container branch April 5, 2025 03:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

CI is slow

3 participants