#!/bin/sh
# script/cibuild: run the CI build. The Dockerfile runs make check (via
# script/check), so a successful build implies all checks pass. The
# Gitea workflow runs this on push.
set -eu

ROOT="$(cd "$(dirname "$0")/.." && pwd -P)"

main() {
    cd "$ROOT"
    docker build .
}

main "$@"
