Skip to content
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.

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

Dns hack #1480

Open
wants to merge 6 commits into
base: master
Choose a base branch
from
Open

Dns hack #1480

wants to merge 6 commits into from

Conversation

Christian-B
Copy link
Member

hack/ work around for SpiNNakerManchester/SpiNNMan#414

dns
linux

windows

  • not yet failed so no change

macos
-fails

  • no dns setting hack found yet
  • seperated macos test to separate checks

Also simplifies the test run.
One run of simple in debug mode vs several.

Later prs could add extra tests if needed

@Christian-B
Copy link
Member Author

Note: This PR is Green by fluke!

Will need SpiNNakerManchester/SupportScripts#78 to work more often in linux

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant