.dockerignore

# soundness local-CI input set
#
# Everything *not* excluded here is part of the CI input digest that
# `make attest` signs (see etc/ci/_lib.py). Keep this list as the single source
# of truth for "what counts as a CI input". It doubles as the .dockerignore for
# the bootstrap image builds (`img/scala`, `img/soundness`).

# Git metadata
.git
.gitignore
.gitattributes

# CI / repo metadata that has no effect on test outcomes.
# `.dockerignore` itself is *not* listed: it defines the input set, so changes
# to it must invalidate prior attestations.
.github
.claude

# Editor / IDE
.bsp
.bloop
.metals
.vscode

# Build outputs (also in .gitignore, but exclude here for clean Docker context)
out
boot
bin
**/target

# Bootstrap docker image build path — not a test input.
img
etc/build1
etc/build2
etc/build3
etc/build4
etc/header.txt
etc/headers
etc/oldbranches

# Docs / samples / images (top-level and per-module)
doc
sample
**/doc
**/images
**/*.md
LICENSE

# Per-module metadata files that aren't test inputs
**/.gitignore
**/.github

# Test fixtures we don't track in git
tests/JSONTestSuite

# The pinned commit of propensive/.github runs the scripts around a build, not the build, and
# etc/release and etc/downstream configure the release rather than the build or the tests.
etc/github-ref
etc/release
etc/downstream