RSS Reader using AT Protocol
rssbase.io
feed
atom
rss
reader
atproto
social
fix ci by adding docker?
Romain Gautier
(Jul 2, 2026, 5:33 PM +0200)
bd8c6cca
dc77a030
+25
-2
+16
-2
.tangled/workflows/build.yml
+16
-2
.tangled/workflows/build.yml
···
14
14
dependencies:
15
15
- devenv
16
16
17
+
virtualisation:
18
+
docker: true
19
+
20
+
environment:
21
+
DOCKER_BUILDKIT: "1"
22
+
COMPOSE_DOCKER_CLI_BUILD: "1"
23
+
17
24
steps:
18
25
- name: "Initialize devenv"
19
26
command: devenv shell true
···
25
32
command: |
26
33
devenv shell -- bash -c '
27
34
set -euo pipefail
35
+
export DOCKER_BUILDKIT=1
36
+
export COMPOSE_DOCKER_CLI_BUILD=1
28
37
cd application
29
38
export APP_SECRET="${APP_SECRET:-ci-app-secret}"
30
39
export CADDY_MERCURE_JWT_SECRET="${CADDY_MERCURE_JWT_SECRET:-ci-mercure-secret}"
···
35
44
command: |
36
45
devenv shell -- bash -c '
37
46
set -euo pipefail
47
+
export DOCKER_BUILDKIT=1
48
+
export COMPOSE_DOCKER_CLI_BUILD=1
38
49
cd application
39
50
export APP_SECRET="${APP_SECRET:-ci-app-secret}"
40
51
export CADDY_MERCURE_JWT_SECRET="${CADDY_MERCURE_JWT_SECRET:-ci-mercure-secret}"
52
+
export HTTP_PORT="${HTTP_PORT:-8080}"
53
+
export HTTPS_PORT="${HTTPS_PORT:-8443}"
54
+
export HTTP3_PORT="${HTTP3_PORT:-8443}"
41
55
trap "docker-compose -f compose.yaml -f compose.prod.yaml down --volumes --remove-orphans" EXIT
42
56
docker-compose -f compose.yaml -f compose.prod.yaml down --volumes --remove-orphans
43
57
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"
58
+
curl -v --fail-with-body "http://localhost:${HTTP_PORT}"
59
+
curl -vI --insecure --fail-with-body "https://localhost:${HTTPS_PORT}/.well-known/mercure?topic=test"
46
60
'
+7
.tangled/workflows/check.yml
+7
.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; }