Skip to content
PR sweep

Merge pull request #7234 from DIRACGridBot/cherry-pick-2-2bd536c7d-in… #1537

Sign in to view logs

Merge pull request #7234 from DIRACGridBot/cherry-pick-2-2bd536c7d-in…

Merge pull request #7234 from DIRACGridBot/cherry-pick-2-2bd536c7d-in… #1537

Triggered via push October 10, 2023 11:48
@fstagnifstagni
pushed 37690cd
integration
Status Success
Total duration 1m 8s
Artifacts –

pr-sweep.yml

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