RSS Reader using AT Protocol
rssbase.io
feed
atom
rss
reader
atproto
social
fix ci by adding docker?
Romain Gautier
(Jul 3, 2026, 12:10 AM +0200)
65f752d2
dc77a030
+21
-14
+17
-11
.tangled/workflows/build.yml
+17
-11
.tangled/workflows/build.yml
···
6
6
7
7
engine: microvm
8
8
image: nixos
9
+
dependencies:
10
+
- devenv
11
+
12
+
virtualisation:
13
+
docker: true
9
14
10
15
clone:
11
16
skip: false
12
17
depth: 1
13
18
14
-
dependencies:
15
-
- devenv
16
-
17
19
steps:
18
20
- name: "Initialize devenv"
19
21
command: devenv shell true
20
22
21
-
- name: "Build production image with Dagger"
22
-
command: DAGGER_NO_NAG=1 devenv shell dagger call application build-prod sync
23
+
# - name: "Build production image with Dagger"
24
+
# command: DAGGER_NO_NAG=1 devenv shell dagger call application build-prod sync
23
25
24
-
- name: "Build production image with Docker Compose"
26
+
- name: "Build production image for Docker Compose"
25
27
command: |
26
28
devenv shell -- bash -c '
27
29
set -euo pipefail
30
+
export DOCKER_BUILDKIT=1
28
31
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
32
+
docker-buildx build --progress=plain --pull --load --target frankenphp_prod --tag app-php-prod .
32
33
'
33
34
34
35
- name: "Start production services and smoke test"
35
36
command: |
36
37
devenv shell -- bash -c '
37
38
set -euo pipefail
39
+
export DOCKER_BUILDKIT=1
40
+
export COMPOSE_DOCKER_CLI_BUILD=1
38
41
cd application
39
42
export APP_SECRET="${APP_SECRET:-ci-app-secret}"
40
43
export CADDY_MERCURE_JWT_SECRET="${CADDY_MERCURE_JWT_SECRET:-ci-mercure-secret}"
44
+
export HTTP_PORT="${HTTP_PORT:-8080}"
45
+
export HTTPS_PORT="${HTTPS_PORT:-8443}"
46
+
export HTTP3_PORT="${HTTP3_PORT:-8443}"
41
47
trap "docker-compose -f compose.yaml -f compose.prod.yaml down --volumes --remove-orphans" EXIT
42
48
docker-compose -f compose.yaml -f compose.prod.yaml down --volumes --remove-orphans
43
49
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"
50
+
curl -v --fail-with-body "http://localhost:${HTTP_PORT}"
51
+
curl -vI --insecure --fail-with-body "https://localhost:${HTTPS_PORT}/.well-known/mercure?topic=test"
46
52
'
+2
-3
.tangled/workflows/check.yml
+2
-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; }