Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Start using abrgl as the physical machine #62

Closed
wants to merge 0 commits into from
Closed

Start using abrgl as the physical machine #62

wants to merge 0 commits into from

Conversation

bmorcos
Copy link
Contributor

@bmorcos bmorcos commented Apr 27, 2020 •
edited
Loading

Motivation and context:

We have limited/no access to abrhost during lockdown. switch to a more accessible server for CI.

How long should this take to review?

  • Quick (less than 40 lines changed or changes are straightforward)

Types of changes:

  • Non-code change (touches things like tests, documentation, build scripts)

Checklist:

  • I have read the CONTRIBUTING.rst document.
  • I have updated the documentation accordingly.
  • I have included a changelog entry.
  • N/A I have tested this with all supported devices.
  • N/A I have added tests to cover my changes.
  • N/A I have run the test suite locally and all tests passed.

@bmorcos bmorcos closed this Apr 28, 2020
@bmorcos bmorcos deleted the abrgl branch April 28, 2020 14:51
@bmorcos bmorcos restored the abrgl branch April 28, 2020 15:06
@bmorcos bmorcos deleted the abrgl branch April 28, 2020 15:46
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@xchoo xchoo xchoo approved these changes

Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@bmorcos @xchoo