boj-server/Containerfile.fly.dockerignore at main · hyperpolymath/boj-server · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
# SPDX-License-Identifier: MPL-2.0
#
# Fly.io-specific build context exclusions for Containerfile.fly
# Seed builds only need: ffi/zig/ (Stage 1), elixir/ (Stage 2), cartridges/*/cartridge.json (Stage 3)
# Cartridge Zig/Idris2 source is not compiled in seed builds — excluding saves ~2.5 GB

# ─── Version control ──────────────────────────────────────────────────────────
.git/
.gitmodules
.gitattributes
.gitignore

# ─── Cartridge source (not needed — seed nodes serve JS path only) ────────────
cartridges/*/ffi/
cartridges/*/abi/
cartridges/*/adapter/
cartridges/*/panels/

# ─── Cartridge Zig build artefacts ────────────────────────────────────────────
cartridges/*/ffi/zig-cache/
cartridges/*/ffi/zig-out/

# ─── Top-level Zig build artefacts (regenerated during Stage 1) ───────────────
zig-cache/
zig-out/
.zig-cache/
ffi/zig/.zig-cache/
ffi/zig/zig-out/

# ─── Elixir build artefacts ───────────────────────────────────────────────────
elixir/_build/
elixir/deps/
elixir/.elixir_ls/
elixir/test/
elixir/benchmarks/

# ─── Documentation ─────────────────────────────────────────────────────────────
docs/
*.adoc
*.md
llm-warmup*
README*
CHANGELOG*
CONTRIBUTING*
SECURITY*
QUICKSTART*
EXPLAINME*
ROADMAP*
CRG-*
TEST-NEEDS*
PROOF-NEEDS*
BOJ_LOGIC*
FUTURE_PLANS*
NeSy_SERVERS*
TOPOLOGY*
NOTICE

# ─── CI / meta / tooling ──────────────────────────────────────────────────────
.github/
.claude/
.desktop-tools/
.machine_readable/
.well-known/
.editorconfig
Justfile
justfile

# ─── Container configs (not needed inside the image) ──────────────────────────
container/

# ─── Source directories not used by any COPY in Containerfile.fly ─────────────
src/
tools/
tests/
scripts/
setup-scripts/
reports/
verification/
boj-cartridges/
adapter/
panll/
packaging/
mcp-bridge/
coord-tui/
tray/
site/
templates/
schemas/
generated/
data/
configs/
k8s/
setup.sh