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
{{ message }}
This repository was archived by the owner on Jun 15, 2025. It is now read-only.
Occasionally running the entire test suite is too much overhead or takes too long, for instance, while working on an individual test. In such cases, what is desired ideally is to be able to run a single test case by means of a single memorable command. This change adjusts our makefile to support such cases by treating every command not otherwise defined as the individual test case to execute.
0 commit comments