Notify Discord on PR Merge

📝 Add docstrings to `main` #217

Sign in to view logs

Triggered via pull request January 8, 2026 13:12

DedeHai

closed #5011

Status Skipped

Total duration 1s

Artifacts –

pr-merge.yaml

on: pull_request_target