NOTE: Currently the github CI fails, probably due to lack of RAM. I haven't investigated which tests fail it and how to fix, so closing this PR for now as we'll just use a self-hosted runner for now
Description
Handles running CI on self-hosted runner if available and github's CI otherwise
Requires labelling the self-hosted runner with "ubuntu-latest". This needs to be done when setting up the runner.
Motivation and Context
It's annoying when there is no self-hosted runner up and running and you want to make a PR. Also, it can be expensive having a self-hosted runner going all the time (currently 75c/hour, but price may go up).
Make workflow independent of host
NOTE: Currently the github CI fails, probably due to lack of RAM. I haven't investigated which tests fail it and how to fix, so closing this PR for now as we'll just use a self-hosted runner for now
Description
Motivation and Context
It's annoying when there is no self-hosted runner up and running and you want to make a PR. Also, it can be expensive having a self-hosted runner going all the time (currently 75c/hour, but price may go up).
Does this PR introduce a breaking change?
No