# Copyright (c) Abstract Machines
# SPDX-License-Identifier: Apache-2.0

.git
.github
build
docker
metrics
scripts
