Skip to content
Discord Integration - PR Opened

Duplicate cursor when alt is pressed #4332

Sign in to view logs

Duplicate cursor when alt is pressed

Duplicate cursor when alt is pressed #4332

Triggered via pull request July 23, 2024 16:54
@gbalintgbalint
ready_for_review #6115
fix/duplicate-cursor
Status Success
Total duration 19s
Artifacts –

discord-pr-opened.yml

on: pull_request
Post Notification To Discord
10s
Post Notification To Discord
Fit to window
Zoom out
Zoom in