CI: let (now more powerful) jenkins run more concurrent threads (#84578) #215
No reviewers
Labels
No Label
No Milestone
No Assignees
2 Participants
Notifications
Due Date
No due date set.
Dependencies
No dependencies set.
Reference: entrouvert/authentic#215
Loading…
Reference in New Issue
No description provided.
Delete Branch "wip/84578-jenkins-boost-numprocesses"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
pducroquet referenced this pull request2023-12-11 16:58:38 +01:00
Voilà https://jenkins.entrouvert.org/job/gitea/job/authentic/job/wip%252F84578-jenkins-boost-numprocesses/ ça tourne en quatre minutes, parfait.
(Et, par comparaison de la PR similaire dans w.c.s où il en était revenu que la différence n’était pas significative, ici on passe apparemment de ~5min30 à ~4min, soit 27% de gain, je trouve que ça reste bon à prendre.)