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

Enable GDB integration tests #212

Closed

jounathaen opened this issue Sep 27, 2021 · 0 comments · Fixed by #215

Labels

Requires_HW_Change

Member

jounathaen commented Sep 27, 2021

We have gdb integration tests, but they are disabled for now (#205). As soon as we have new runners, we should activate them.

Related: #199

jounathaen added the Requires_HW_Change label

mkroening mentioned this issue

CI: Enable GDB integration test #215

Merged

bors bot closed this as completed in

0e26c75

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