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
Short description and motivation for the proposed feature
Currently we have a list of tests to run in our github actions, and there is no easy way for a developer to run this test suite themselves before pushing code.
We should add these test suites to a makefile as make commands, which will make it simple for devs to run our test suites.
The github actions should be refactored to run the makefile when this is done.
Video or screenshots
No response
Describe some possible solutions
No response
Anything else?
No response
The text was updated successfully, but these errors were encountered:
Short description and motivation for the proposed feature
Currently we have a list of tests to run in our github actions, and there is no easy way for a developer to run this test suite themselves before pushing code.
We should add these test suites to a makefile as make commands, which will make it simple for devs to run our test suites.
The github actions should be refactored to run the makefile when this is done.
Video or screenshots
No response
Describe some possible solutions
No response
Anything else?
No response
The text was updated successfully, but these errors were encountered: