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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
notify
3s
3s