Skip to content

Merge pull request #7898 from fstagni/80_use_updatemany #2151

Merge pull request #7898 from fstagni/80_use_updatemany

Merge pull request #7898 from fstagni/80_use_updatemany #2151

Triggered via push December 13, 2024 14:46
Status Cancelled
Total duration 35s
Artifacts

pr-sweep.yml

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

Annotations

1 error
pr-sweep
Canceling since a higher priority waiting request for 'pr-sweep' exists