Email the requester when a UI-launched run finishes - #6869
Open
ayoubdiourin7 wants to merge 18 commits into
Open
ayoubdiourin7 wants to merge 18 commits into
ayoubdiourin7 wants to merge 18 commits into
Commits
Commits on Sep 17, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Sep 21, 2026
Commits on Sep 23, 2026
- committed
- committed
- committed
- committed