Arjan H 0ed9d8eac2 Build and use local docker images for docker-only setup (#41) ...

For now, the images are still built on the target machine for testing,
in the end they need to be built in a GitHub action.

2023-04-15 09:19:17 +02:00

..

build.sh

Build and use local docker images for docker-only setup (#41)

2023-04-15 09:19:17 +02:00

docker-compose.yml

Build and use local docker images for docker-only setup (#41)

2023-04-15 09:19:17 +02:00

Dockerfile-boulder

Build and use local docker images for docker-only setup (#41)

2023-04-15 09:19:17 +02:00

Dockerfile-control

Build and use local docker images for docker-only setup (#41)

2023-04-15 09:19:17 +02:00

Dockerfile-gui

Build and use local docker images for docker-only setup (#41)

2023-04-15 09:19:17 +02:00

tag_and_upload.sh

Build and use local docker images for docker-only setup (#41)

2023-04-15 09:19:17 +02:00

tmp2.patch

Build and use local docker images for docker-only setup (#41)

2023-04-15 09:19:17 +02:00

tmp.patch

Build and use local docker images for docker-only setup (#41)

2023-04-15 09:19:17 +02:00