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

Various small improvements #445

Merged

niknetniko merged 2 commits into master from feature/various

Oct 12, 2023

Member

niknetniko commented Oct 12, 2023

Better error messages in a bunch of cases
Support setting a custom description of testcases


          Various small improvements

github-advanced-security bot found potential problems

View reviewed changes

tested/dodona.py Fixed Show fixed Hide fixed

tested/dodona.py Fixed Show fixed Hide fixed

tested/testsuite.py Fixed Show fixed Hide fixed


          Remove unused import

52ca54d

niknetniko merged commit 725659e into master

7 checks passed

niknetniko deleted the feature/various branch

October 12, 2023 13:45

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

Labels

None yet