Notify Discord on PR Merge

Add GIF Player UI extension (/gifplayer.htm) #225

Sign in to view logs

Triggered via pull request January 20, 2026 19:33

netmindz

closed #3921

Status Skipped

Total duration 1s

Artifacts –

pr-merge.yaml

on: pull_request_target