You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
# Configure git for volume mounts and build/test (including lint, CLI tests, valgrind, coverage, and docs)
CMD ["sh", "-c", "git config --global --add safe.directory '*' && rm -rf build/* 2>/dev/null; make build && make lint && make test-report && make test-cli && make valgrind && make coverage-html && make docs"]