New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Small error about the naming #4

Open

xiu-cs opened this issue Sep 26, 2024 · 0 comments

xiu-cs commented Sep 26, 2024

Thanks for your great work! When I try to reproduce this repo, I find some small issues.

exec: make test_contents. (The first issue is due to inconsistent file naming.)

exec: make test_docker (similar as issue 1)

In fact, if all the names are changed to lowercase, there won’t be any issues. (Docker image names must be in lowercase)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment