Oscar.jl icon indicating copy to clipboard operation
Oscar.jl copied to clipboard

Overhaul RPTU macOS CI runner setup to be more resilient

Open fingolfin opened this issue 5 months ago • 2 comments

The server hosting those was restarted this weekend and the CI runners did not come back up automatically. We need to change that.

While at it, we should make sure the runners are hosted under a shared account on that machine, not @aaruni96's personal account.

fingolfin avatar Sep 16 '24 08:09 fingolfin