Skip to content
PR sweep

Merge pull request #7194 from chrisburr/safer-set-nproc #957

Sign in to view logs

Merge pull request #7194 from chrisburr/safer-set-nproc

Merge pull request #7194 from chrisburr/safer-set-nproc #957

Triggered via push September 14, 2023 10:47
@DIRACGridBotDIRACGridBot
pushed df6a89f
cherry-pick-2-bf430ff63-integration
Status Skipped
Total duration 4s
Artifacts –

pr-sweep.yml

on: push
pr-sweep
0s
pr-sweep
Fit to window
Zoom out
Zoom in