fix/docker-log-rotation-disk-management (#93)

Co-authored-by: openhands <openhands@all-hands.dev>
Reviewed-on: https://codeberg.org/johba/harb/pulls/93
This commit is contained in:
johba 2025-11-09 12:57:49 +01:00
parent 5d71753086
commit 19bac420d0
4 changed files with 78 additions and 1 deletions

View file

@ -4,6 +4,13 @@ networks:
harb-network:
driver: bridge
# Global logging configuration to prevent disk bloat
x-logging: &default-logging
driver: "json-file"
options:
max-size: "10m"
max-file: "3"
services:
anvil:
image: ghcr.io/foundry-rs/foundry:latest
@ -17,6 +24,7 @@ services:
restart: unless-stopped
networks:
- harb-network
logging: *default-logging
healthcheck:
test: ["CMD", "cast", "block-number", "--rpc-url", "http://127.0.0.1:8545"]
interval: 2s
@ -37,6 +45,7 @@ services:
restart: unless-stopped
networks:
- harb-network
logging: *default-logging
healthcheck:
test: ["CMD-SHELL", "pg_isready -U ponder"]
interval: 5s
@ -56,6 +65,7 @@ services:
networks:
- harb-network
restart: "no"
logging: *default-logging
healthcheck:
test: ["CMD", "test", "-f", "/workspace/tmp/containers/contracts.env"]
interval: 5s
@ -84,6 +94,7 @@ services:
restart: unless-stopped
networks:
- harb-network
logging: *default-logging
healthcheck:
test: ["CMD", "wget", "--spider", "-q", "http://127.0.0.1:42069/"]
interval: 5s
@ -112,6 +123,7 @@ services:
restart: unless-stopped
networks:
- harb-network
logging: *default-logging
healthcheck:
test: ["CMD", "wget", "--spider", "-q", "http://127.0.0.1:5173/"]
interval: 5s
@ -137,6 +149,7 @@ services:
restart: unless-stopped
networks:
- harb-network
logging: *default-logging
healthcheck:
test: ["CMD", "wget", "--spider", "-q", "http://127.0.0.1:5174/"]
interval: 5s
@ -161,6 +174,7 @@ services:
restart: unless-stopped
networks:
- harb-network
logging: *default-logging
healthcheck:
test: ["CMD", "wget", "--spider", "-q", "http://127.0.0.1:43069/status"]
interval: 5s
@ -176,6 +190,7 @@ services:
restart: unless-stopped
networks:
- harb-network
logging: *default-logging
healthcheck:
test: ["CMD", "wget", "--spider", "-q", "http://127.0.0.1:80"]
interval: 2s