RSS Reader using AT Protocol
rssbase.io
feed
atom
rss
reader
atproto
social
fix ci by adding docker?
Romain Gautier
(Jul 2, 2026, 5:45 PM +0200)
8acf9c92
dc77a030
+20
-8
+15
-8
.tangled/workflows/build.yml
+15
-8
.tangled/workflows/build.yml
···
14
14
dependencies:
15
15
- devenv
16
16
17
+
virtualisation:
18
+
docker: true
19
+
17
20
steps:
18
21
- name: "Initialize devenv"
19
22
command: devenv shell true
20
23
21
-
- name: "Build production image with Dagger"
22
-
command: DAGGER_NO_NAG=1 devenv shell dagger call application build-prod sync
24
+
# - name: "Build production image with Dagger"
25
+
# command: DAGGER_NO_NAG=1 devenv shell dagger call application build-prod sync
23
26
24
-
- name: "Build production image with Docker Compose"
27
+
- name: "Build production image for Docker Compose"
25
28
command: |
26
29
devenv shell -- bash -c '
27
30
set -euo pipefail
31
+
export DOCKER_BUILDKIT=1
28
32
cd application
29
-
export APP_SECRET="${APP_SECRET:-ci-app-secret}"
30
-
export CADDY_MERCURE_JWT_SECRET="${CADDY_MERCURE_JWT_SECRET:-ci-mercure-secret}"
31
-
docker-compose -f compose.yaml -f compose.prod.yaml build --pull
33
+
docker-buildx build --progress=plain --pull --load --target frankenphp_prod --tag app-php-prod .
32
34
'
33
35
34
36
- name: "Start production services and smoke test"
35
37
command: |
36
38
devenv shell -- bash -c '
37
39
set -euo pipefail
40
+
export DOCKER_BUILDKIT=1
41
+
export COMPOSE_DOCKER_CLI_BUILD=1
38
42
cd application
39
43
export APP_SECRET="${APP_SECRET:-ci-app-secret}"
40
44
export CADDY_MERCURE_JWT_SECRET="${CADDY_MERCURE_JWT_SECRET:-ci-mercure-secret}"
45
+
export HTTP_PORT="${HTTP_PORT:-8080}"
46
+
export HTTPS_PORT="${HTTPS_PORT:-8443}"
47
+
export HTTP3_PORT="${HTTP3_PORT:-8443}"
41
48
trap "docker-compose -f compose.yaml -f compose.prod.yaml down --volumes --remove-orphans" EXIT
42
49
docker-compose -f compose.yaml -f compose.prod.yaml down --volumes --remove-orphans
43
50
docker-compose -f compose.yaml -f compose.prod.yaml up --wait --wait-timeout 120 --no-build -d
44
-
curl -v --fail-with-body http://localhost
45
-
curl -vI --insecure --fail-with-body "https://localhost/.well-known/mercure?topic=test"
51
+
curl -v --fail-with-body "http://localhost:${HTTP_PORT}"
52
+
curl -vI --insecure --fail-with-body "https://localhost:${HTTPS_PORT}/.well-known/mercure?topic=test"
46
53
'
+3
.tangled/workflows/check.yml
+3
.tangled/workflows/check.yml
+2
devenv.nix
+2
devenv.nix
···
11
11
{
12
12
# https://devenv.sh/packages/
13
13
packages = [
14
+
pkgs.docker-buildx # BuildKit builder for CI image builds
14
15
pkgs.docker-compose # used by application
15
16
dagger # dagger CLI dev build (until 1.0)
16
17
pkgs.skills # used to manage .agents/skills
···
21
22
enterShell = devenvSummary {
22
23
title = "RSSBase devenv:";
23
24
rows = [
25
+
{ pkg = pkgs.docker-buildx; }
24
26
{ pkg = pkgs.docker-compose; }
25
27
{ pkg = dagger; }
26
28
{ pkg = pkgs.skills; }