Skip to content
Discord: issue and PR activity

Remove the unused typing map and the dead pin listener #259

Sign in to view logs

Remove the unused typing map and the dead pin listener

Remove the unused typing map and the dead pin listener #259

Triggered via issue September 14, 2026 09:17
@HMarzbanHMarzban
opened #273 17b78a8
Status Success
Total duration 6s
Artifacts –

discord-github.yml

on: issues
notify
3s
notify
Fit to window
Zoom out
Zoom in