This repository has been archived by the owner on Nov 18, 2024. It is now read-only.
Merge branch 'jenkins' of https://github.com/CESI-GRP-4/ressources_re… #408
| Job | Run time |
|---|---|
| 2m 15s | |
| 4m 35s | |
| 6m 50s |
| Job | Run time |
|---|---|
| 2m 15s | |
| 4m 35s | |
| 6m 50s |