Skip to content
Discord: issue and PR activity

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

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 #261

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

discord-github.yml

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