Skip to content

Add Docker build and publish GitHub Worflow#29

Merged
ylebre merged 3 commits into
mainfrom
ci/docker-build
May 22, 2026
Merged

Add Docker build and publish GitHub Worflow#29
ylebre merged 3 commits into
mainfrom
ci/docker-build

Conversation

@Potherca
Copy link
Copy Markdown
Member

@Potherca Potherca commented May 22, 2026

This MR adds a GitHub Worflow that builds and publishes ("pushes") a docker image of this repository to the GitHub Container Registry (ghcr.io).

A docker image is created for each push to main, for each branch that has a merge-request to main, and for every git tag.

The docker image for this branch can be seen at: https://github.com/pdsinterop/multiuser-php-solid-server/pkgs/container/multiuser-php-solid-server/884546882?tag=ci_docker-build

This MR can be squashed, to avoid multiple commits.


Some follow-up actions that come to mind:

  • Add linting for the Dockerfile
  • Change tests/testsuite/run-solid-test-suite.sh to pull the docker image from the registry, instead of building it (to reduce build time)
    docker build -t solid-php -f docker/solid.Dockerfile .
  • Add a matrix to build for other PHP versions than only 8.3

@ylebre Let me know if any of these (or something else) needs to be picked up. 👍

@Potherca Potherca requested a review from ylebre May 22, 2026 11:28
@Potherca Potherca self-assigned this May 22, 2026
@ylebre ylebre merged commit acc18d0 into main May 22, 2026
4 of 6 checks passed
@ylebre ylebre deleted the ci/docker-build branch May 22, 2026 12:21
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.

2 participants