Use Inria runners for GitHub actions

[jbcaillau]

See email exchange with @j-l-s (July 23, 2024)

[ocots]

I would say that it would be great to use them but to have the classical CI in backup, putting some priorities.

[jbcaillau]

Still we would need to check whether the performance of the runners is the same as with GitHub runners. Having the backup should be yaml piece of cake 🤞🏾

[jbcaillau]

Contacted [email protected] ✅

[jbcaillau]

@ocots @PierreMartinon @gergaud fruitful exchange with @srcansiz and @j-l-s today. meeting scheduled Aug. 26 9:00 to try to deploy on a test repo (maybe not OptimalControl.jl but a subpackage - CTBase.jl...)
https://inria.webex.com/meet/jean-baptiste.caillau

Retex from another Inria project: Inria self-hosted runners (= the slaves we used during the ADT) should be faster than those from GitHub 🤞🏾

[j-l-s]

I do not have access to the Settings page of CTBase (or any other) repo, to create a new self hosted runner.
Do I have the correct access rights to the organisation/repos ?

[ocots]

I do not have access to the Settings page of CTBase (or any other) repo, to create a new self hosted runner. Do I have the correct access rights to the organisation/repos ?

Should be ok now.

[j-l-s]

Not really: I would like to add a Runner to the organisation (control-toolbox), so it can be shared with all repositories. It need "Owner" credentials for it..

PS: I have access to https://github.com/control-toolbox/CTBase.jl/settings, but no menu "Runners" on this page...
PPS: not emergency for that, I just wanted to anticipate the meeting with JBC

[jbcaillau]

Full power entrusted, mr Sz 😱

[j-l-s]

Instead of exchanging in this issue, I started a conversation here: https://github.com/orgs/control-toolbox/discussions/59