Skip to content

Merge pull request #7167 from DIRACGridBot/cherry-pick-2-f9442427f-in… #1483

Merge pull request #7167 from DIRACGridBot/cherry-pick-2-f9442427f-in…

Merge pull request #7167 from DIRACGridBot/cherry-pick-2-f9442427f-in… #1483

Triggered via push August 11, 2023 05:11
Status Success
Total duration 1m 32s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

pr-sweep.yml

on: push
Fit to window
Zoom out
Zoom in